ocaml-base-compiler 4.12.1

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_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_list : Types.type_expr -> Types.type_expr

val type_option : Types.type_expr -> Types.type_expr

val type_nativeint : 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 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_bool : Path.t

val path_unit : Path.t

val path_exn : Path.t

val path_array : Path.t

val path_list : Path.t

val path_option : Path.t

val path_nativeint : 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_match_failure : 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 build_initial_env : 
  (Ident.t -> Types.type_declaration -> 'a -> 'a) ->
  (Ident.t -> Types.extension_constructor -> 'a -> 'a) ->
  'a ->
  'a * 'a

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

package ocaml-base-compiler