Typeopt (merlin-lib.merlin-lib.ocaml_typing.Ocaml

val is_function_type : 
  Env.t ->
  Types.type_expr ->
  (Types.type_expr * Types.type_expr) option

val is_base_type : Env.t -> Types.type_expr -> Path.t -> bool

val maybe_pointer_type : 
  Env.t ->
  Types.type_expr ->
  Lambda.immediate_or_pointer * Lambda.nullable

val maybe_pointer : 
  Typedtree.expression ->
  Lambda.immediate_or_pointer * Lambda.nullable

val array_type_kind : 
  elt_sort:Jkind.Sort.Const.t option ->
  elt_ty:Types.type_expr option ->
  Env.t ->
  Ocaml_parsing.Location.t ->
  Types.type_expr ->
  Lambda.array_kind

val array_kind : 
  Typedtree.expression ->
  Jkind.Sort.Const.t ->
  Lambda.array_kind

val classify_lazy_argument : 
  Typedtree.expression ->
  [ `Constant_or_function
  | `Float_that_cannot_be_shortcut
  | `Identifier of [ `Forward_value | `Other ]
  | `Other ]