Module Ocaml_typing.PredefSource

Sourceval ident_bytes : Ident.t
Sourcetype abstract_type_constr = [
  1. | `Int
  2. | `Char
  3. | `String
  4. | `Bytes
  5. | `Float
  6. | `Continuation
  7. | `Array
  8. | `Nativeint
  9. | `Int32
  10. | `Int64
  11. | `Lazy_t
  12. | `Extension_constructor
  13. | `Floatarray
  14. | `Iarray
  15. | `Atomic_loc
]
Sourcetype data_type_constr = [
  1. | `Bool
  2. | `Unit
  3. | `Exn
  4. | `Eff
  5. | `List
  6. | `Option
]
Sourceval find_type_constr : Path.t -> type_constr option
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_nativeint : Types.type_expr
Sourceval type_int32 : Types.type_expr
Sourceval type_int64 : Types.type_expr
Sourceval type_extension_constructor : Types.type_expr
Sourceval type_floatarray : Types.type_expr
Sourceval type_atomic_loc : Types.type_expr -> 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_eff : Path.t
Sourceval path_array : Path.t
Sourceval path_iarray : 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_continuation : 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
Sourceval 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