Predef (merlin-lib.merlin-lib.ocaml_typing.Ocaml

val ident_bytes : Ident.t

val type_int : Types.type_expr

val type_char : Types.type_expr

val type_string : Types.type_expr

val type_bytes : Types.type_expr

val type_float : Types.type_expr

val type_float32 : Types.type_expr

val type_bool : Types.type_expr

val type_unit : Types.type_expr

val type_exn : Types.type_expr

val type_array : Types.type_expr -> Types.type_expr

val type_iarray : Types.type_expr -> Types.type_expr

val type_list : Types.type_expr -> Types.type_expr

val type_option : Types.type_expr -> Types.type_expr

val type_nativeint : Types.type_expr

val type_int8 : Types.type_expr

val type_int16 : Types.type_expr

val type_int32 : Types.type_expr

val type_int64 : Types.type_expr

val type_lazy_t : Types.type_expr -> Types.type_expr

val type_extension_constructor : Types.type_expr

val type_floatarray : Types.type_expr

val type_lexing_position : Types.type_expr

val type_atomic_loc : Types.type_expr -> Types.type_expr

val type_code : Types.type_expr -> Types.type_expr

val type_unboxed_float : Types.type_expr

val type_unboxed_float32 : Types.type_expr

val type_unboxed_nativeint : Types.type_expr

val type_unboxed_char : Types.type_expr

val type_unboxed_int : Types.type_expr

val type_unboxed_int8 : Types.type_expr

val type_unboxed_int16 : Types.type_expr

val type_unboxed_int32 : Types.type_expr

val type_unboxed_int64 : Types.type_expr

val type_or_null : Types.type_expr -> Types.type_expr

val type_idx_imm : Types.type_expr -> Types.type_expr -> Types.type_expr

val type_idx_mut : Types.type_expr -> Types.type_expr -> Types.type_expr

val type_int8x16 : Types.type_expr

val type_int16x8 : Types.type_expr

val type_int32x4 : Types.type_expr

val type_int64x2 : Types.type_expr

val type_float16x8 : Types.type_expr

val type_float32x4 : Types.type_expr

val type_float64x2 : Types.type_expr

val type_unboxed_int8x16 : Types.type_expr

val type_unboxed_int16x8 : Types.type_expr

val type_unboxed_int32x4 : Types.type_expr

val type_unboxed_int64x2 : Types.type_expr

val type_unboxed_float16x8 : Types.type_expr

val type_unboxed_float32x4 : Types.type_expr

val type_unboxed_float64x2 : Types.type_expr

val type_int8x32 : Types.type_expr

val type_int16x16 : Types.type_expr

val type_int32x8 : Types.type_expr

val type_int64x4 : Types.type_expr

val type_float16x16 : Types.type_expr

val type_float32x8 : Types.type_expr

val type_float64x4 : Types.type_expr

val type_unboxed_int8x32 : Types.type_expr

val type_unboxed_int16x16 : Types.type_expr

val type_unboxed_int32x8 : Types.type_expr

val type_unboxed_int64x4 : Types.type_expr

val type_unboxed_float16x16 : Types.type_expr

val type_unboxed_float32x8 : Types.type_expr

val type_unboxed_float64x4 : Types.type_expr

val type_int8x64 : Types.type_expr

val type_int16x32 : Types.type_expr

val type_int32x16 : Types.type_expr

val type_int64x8 : Types.type_expr

val type_float16x32 : Types.type_expr

val type_float32x16 : Types.type_expr

val type_float64x8 : Types.type_expr

val type_unboxed_int8x64 : Types.type_expr

val type_unboxed_int16x32 : Types.type_expr

val type_unboxed_int32x16 : Types.type_expr

val type_unboxed_int64x8 : Types.type_expr

val type_unboxed_float16x32 : Types.type_expr

val type_unboxed_float32x16 : Types.type_expr

val type_unboxed_float64x8 : Types.type_expr

val path_int : Path.t

val path_char : Path.t

val path_string : Path.t

val path_bytes : Path.t

val path_float : Path.t

val path_float32 : Path.t

val path_bool : Path.t

val path_unit : Path.t

val path_exn : Path.t

val path_array : Path.t

val path_iarray : Path.t

val path_list : Path.t

val path_option : Path.t

val path_nativeint : Path.t

val path_int8 : Path.t

val path_int16 : Path.t

val path_int32 : Path.t

val path_int64 : Path.t

val path_lazy_t : Path.t

val path_extension_constructor : Path.t

val path_floatarray : Path.t

val path_lexing_position : Path.t

val path_code : Path.t

val path_unboxed_float : Path.t

val path_unboxed_float32 : Path.t

val path_unboxed_nativeint : Path.t

val path_unboxed_char : Path.t

val path_unboxed_int : Path.t

val path_unboxed_int8 : Path.t

val path_unboxed_int16 : Path.t

val path_unboxed_int32 : Path.t

val path_unboxed_int64 : Path.t

val path_or_null : Path.t

val path_idx_imm : Path.t

val path_idx_mut : Path.t

val path_int8x16 : Path.t

val path_int16x8 : Path.t

val path_int32x4 : Path.t

val path_int64x2 : Path.t

val path_float16x8 : Path.t

val path_float32x4 : Path.t

val path_float64x2 : Path.t

val path_unboxed_int8x16 : Path.t

val path_unboxed_int16x8 : Path.t

val path_unboxed_int32x4 : Path.t

val path_unboxed_int64x2 : Path.t

val path_unboxed_float16x8 : Path.t

val path_unboxed_float32x4 : Path.t

val path_unboxed_float64x2 : Path.t

val path_int8x32 : Path.t

val path_int16x16 : Path.t

val path_int32x8 : Path.t

val path_int64x4 : Path.t

val path_float16x16 : Path.t

val path_float32x8 : Path.t

val path_float64x4 : Path.t

val path_unboxed_int8x32 : Path.t

val path_unboxed_int16x16 : Path.t

val path_unboxed_int32x8 : Path.t

val path_unboxed_int64x4 : Path.t

val path_unboxed_float16x16 : Path.t

val path_unboxed_float32x8 : Path.t

val path_unboxed_float64x4 : Path.t

val path_int8x64 : Path.t

val path_int16x32 : Path.t

val path_int32x16 : Path.t

val path_int64x8 : Path.t

val path_float16x32 : Path.t

val path_float32x16 : Path.t

val path_float64x8 : Path.t

val path_unboxed_int8x64 : Path.t

val path_unboxed_int16x32 : Path.t

val path_unboxed_int32x16 : Path.t

val path_unboxed_int64x8 : Path.t

val path_unboxed_float16x32 : Path.t

val path_unboxed_float32x16 : Path.t

val path_unboxed_float64x8 : Path.t

val path_match_failure : Path.t

val path_invalid_argument : Path.t

val path_assert_failure : Path.t

val path_undefined_recursive_module : Path.t

val ident_false : Ident.t

val ident_true : Ident.t

val ident_void : Ident.t

val ident_nil : Ident.t

val ident_cons : Ident.t

val ident_none : Ident.t

val ident_some : Ident.t

val ident_or_null : Ident.t

val ident_idx_imm : Ident.t

val ident_idx_mut : Ident.t

val option_argument_jkind : Types.jkind_lr

val list_argument_jkind : Types.jkind_lr

val build_initial_env : 
  (Ident.t -> Types.type_declaration -> 'a -> 'a) ->
  (Ident.t -> Types.extension_constructor -> 'a -> 'a) ->
  'a ->
  'a

val add_simd_stable_extension_types : 
  (Ident.t -> Types.type_declaration -> 'a -> 'a) ->
  'a ->
  'a

val add_simd_beta_extension_types : 
  (Ident.t -> Types.type_declaration -> 'a -> 'a) ->
  'a ->
  'a

val add_simd_alpha_extension_types : 
  (Ident.t -> Types.type_declaration -> 'a -> 'a) ->
  'a ->
  'a

val add_small_number_extension_types : 
  (Ident.t -> Types.type_declaration -> 'a -> 'a) ->
  'a ->
  'a

val add_small_number_beta_extension_types : 
  (Ident.t -> Types.type_declaration -> 'a -> 'a) ->
  'a ->
  'a

val add_or_null : (Ident.t -> Types.type_declaration -> 'a -> 'a) -> 'a -> 'a

val or_null_kind : 
  Types.type_expr ->
  ('a, 'b, Types.constructor_declaration) Types.type_kind

val or_null_jkind : Types.type_expr -> Types.jkind_l

val builtin_values : (string * Ident.t) list

val builtin_idents : (string * Ident.t) list

val ident_division_by_zero : Ident.t

All predefined exceptions, exposed as Ident.t for flambda (for building value approximations). The Ident.t for division by zero is also exported explicitly so flambda can generate code to raise it.

val all_predef_exns : Ident.t list