Module `Ocaml_typing.Typeopt`

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

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

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

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

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

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

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

Module Ocaml_typing.Typeopt

Module `Ocaml_typing.Typeopt`