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

Sourceval ident_bytes : Ident.t

Sourceval type_int : Types.type_expr

Sourceval type_char : Types.type_expr

Sourceval type_string : Types.type_expr

Sourceval type_bytes : Types.type_expr

Sourceval type_float : Types.type_expr

Sourceval type_bool : Types.type_expr

Sourceval type_unit : Types.type_expr

Sourceval type_exn : Types.type_expr

Sourceval type_array : Types.type_expr -> Types.type_expr

Sourceval type_list : Types.type_expr -> Types.type_expr

Sourceval type_option : Types.type_expr -> Types.type_expr

Sourceval type_nativeint : Types.type_expr

Sourceval type_int32 : Types.type_expr

Sourceval type_int64 : Types.type_expr

Sourceval type_lazy_t : Types.type_expr -> Types.type_expr

Sourceval type_extension_constructor : Types.type_expr

Sourceval type_floatarray : Types.type_expr

Sourceval path_int : Path.t

Sourceval path_char : Path.t

Sourceval path_string : Path.t

Sourceval path_bytes : Path.t

Sourceval path_float : Path.t

Sourceval path_bool : Path.t

Sourceval path_unit : Path.t

Sourceval path_exn : Path.t

Sourceval path_array : Path.t

Sourceval path_list : Path.t

Sourceval path_option : Path.t

Sourceval path_nativeint : Path.t

Sourceval path_int32 : Path.t

Sourceval path_int64 : Path.t

Sourceval path_lazy_t : Path.t

Sourceval path_extension_constructor : Path.t

Sourceval path_floatarray : Path.t

Sourceval path_match_failure : Path.t

Sourceval path_assert_failure : Path.t

Sourceval path_undefined_recursive_module : Path.t

Sourceval ident_false : Ident.t

Sourceval ident_true : Ident.t

Sourceval ident_void : Ident.t

Sourceval ident_nil : Ident.t

Sourceval ident_cons : Ident.t

Sourceval ident_none : Ident.t

Sourceval ident_some : Ident.t

Source

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

Sourceval builtin_values : (string * Ident.t) list

Sourceval builtin_idents : (string * Ident.t) list

Sourceval 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.

Sourceval all_predef_exns : Ident.t list