Melange_compiler_libs.Predef
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 build_initial_env :
(Ident.t -> Types.type_declaration -> 'a -> 'a) ->
(Ident.t -> Types.extension_constructor -> 'a -> 'a) ->
'a ->
'a
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 type_is_builtin_path_but_option : Path.t -> test