Module Ocaml_typing.TypeoptSource

Sourceval is_function_type : Env.t -> Types.type_expr -> (Types.type_expr * Types.type_expr) option
Sourceval is_base_type : Env.t -> Types.type_expr -> Path.t -> bool
Sourceval classify_lazy_argument : Typedtree.expression -> [ `Constant_or_function | `Float_that_cannot_be_shortcut | `Identifier of [ `Forward_value | `Other ] | `Other ]