Function infer_some_all

pub fn infer_some_all(
    func_types: Vec<ExprType>,
    inputs: &mut Vec<ExprImpl>,
) -> Result<DataType, RwError>