Function Checked

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