Function Checked

pub fn Checked<T>(binop: T) -> (T, bool)