Module `Ocaml_typing.Predef`Source

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_float32 : 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_iarray : 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_int8 : Types.type_expr

Sourceval type_int16 : 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 type_lexing_position : Types.type_expr

Sourceval type_atomic_loc : Types.type_expr -> Types.type_expr

Sourceval type_code : Types.type_expr -> Types.type_expr

Sourceval type_unboxed_unit : Types.type_expr

Sourceval type_unboxed_bool : Types.type_expr

Sourceval type_unboxed_float : Types.type_expr

Sourceval type_unboxed_float32 : Types.type_expr

Sourceval type_unboxed_nativeint : Types.type_expr

Sourceval type_unboxed_char : Types.type_expr

Sourceval type_unboxed_int : Types.type_expr

Sourceval type_unboxed_int8 : Types.type_expr

Sourceval type_unboxed_int16 : Types.type_expr

Sourceval type_unboxed_int32 : Types.type_expr

Sourceval type_unboxed_int64 : Types.type_expr

Sourceval type_or_null : Types.type_expr -> Types.type_expr

Sourceval type_idx_imm : Types.type_expr -> Types.type_expr -> Types.type_expr

Sourceval type_idx_mut : Types.type_expr -> Types.type_expr -> Types.type_expr

Sourceval type_int8x16 : Types.type_expr

Sourceval type_int16x8 : Types.type_expr

Sourceval type_int32x4 : Types.type_expr

Sourceval type_int64x2 : Types.type_expr

Sourceval type_float16x8 : Types.type_expr

Sourceval type_float32x4 : Types.type_expr

Sourceval type_float64x2 : Types.type_expr

Sourceval type_unboxed_int8x16 : Types.type_expr

Sourceval type_unboxed_int16x8 : Types.type_expr

Sourceval type_unboxed_int32x4 : Types.type_expr

Sourceval type_unboxed_int64x2 : Types.type_expr

Sourceval type_unboxed_float16x8 : Types.type_expr

Sourceval type_unboxed_float32x4 : Types.type_expr

Sourceval type_unboxed_float64x2 : Types.type_expr

Sourceval type_int8x32 : Types.type_expr

Sourceval type_int16x16 : Types.type_expr

Sourceval type_int32x8 : Types.type_expr

Sourceval type_int64x4 : Types.type_expr

Sourceval type_float16x16 : Types.type_expr

Sourceval type_float32x8 : Types.type_expr

Sourceval type_float64x4 : Types.type_expr

Sourceval type_unboxed_int8x32 : Types.type_expr

Sourceval type_unboxed_int16x16 : Types.type_expr

Sourceval type_unboxed_int32x8 : Types.type_expr

Sourceval type_unboxed_int64x4 : Types.type_expr

Sourceval type_unboxed_float16x16 : Types.type_expr

Sourceval type_unboxed_float32x8 : Types.type_expr

Sourceval type_unboxed_float64x4 : Types.type_expr

Sourceval type_int8x64 : Types.type_expr

Sourceval type_int16x32 : Types.type_expr

Sourceval type_int32x16 : Types.type_expr

Sourceval type_int64x8 : Types.type_expr

Sourceval type_float16x32 : Types.type_expr

Sourceval type_float32x16 : Types.type_expr

Sourceval type_float64x8 : Types.type_expr

Sourceval type_unboxed_int8x64 : Types.type_expr

Sourceval type_unboxed_int16x32 : Types.type_expr

Sourceval type_unboxed_int32x16 : Types.type_expr

Sourceval type_unboxed_int64x8 : Types.type_expr

Sourceval type_unboxed_float16x32 : Types.type_expr

Sourceval type_unboxed_float32x16 : Types.type_expr

Sourceval type_unboxed_float64x8 : 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_float32 : Path.t

Sourceval path_bool : Path.t

Sourceval path_unit : Path.t

Sourceval path_exn : 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_int8 : Path.t

Sourceval path_int16 : 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_lexing_position : Path.t

Sourceval path_code : Path.t

Sourceval path_eval : Path.t

Sourceval path_unboxed_unit : Path.t

Sourceval path_unboxed_bool : Path.t

Sourceval path_unboxed_float : Path.t

Sourceval path_unboxed_float32 : Path.t

Sourceval path_unboxed_nativeint : Path.t

Sourceval path_unboxed_char : Path.t

Sourceval path_unboxed_int : Path.t

Sourceval path_unboxed_int8 : Path.t

Sourceval path_unboxed_int16 : Path.t

Sourceval path_unboxed_int32 : Path.t

Sourceval path_unboxed_int64 : Path.t

Sourceval path_or_null : Path.t

Sourceval path_idx_imm : Path.t

Sourceval path_idx_mut : Path.t

Sourceval path_int8x16 : Path.t

Sourceval path_int16x8 : Path.t

Sourceval path_int32x4 : Path.t

Sourceval path_int64x2 : Path.t

Sourceval path_float16x8 : Path.t

Sourceval path_float32x4 : Path.t

Sourceval path_float64x2 : Path.t

Sourceval path_unboxed_int8x16 : Path.t

Sourceval path_unboxed_int16x8 : Path.t

Sourceval path_unboxed_int32x4 : Path.t

Sourceval path_unboxed_int64x2 : Path.t

Sourceval path_unboxed_float16x8 : Path.t

Sourceval path_unboxed_float32x4 : Path.t

Sourceval path_unboxed_float64x2 : Path.t

Sourceval path_int8x32 : Path.t

Sourceval path_int16x16 : Path.t

Sourceval path_int32x8 : Path.t

Sourceval path_int64x4 : Path.t

Sourceval path_float16x16 : Path.t

Sourceval path_float32x8 : Path.t

Sourceval path_float64x4 : Path.t

Sourceval path_unboxed_int8x32 : Path.t

Sourceval path_unboxed_int16x16 : Path.t

Sourceval path_unboxed_int32x8 : Path.t

Sourceval path_unboxed_int64x4 : Path.t

Sourceval path_unboxed_float16x16 : Path.t

Sourceval path_unboxed_float32x8 : Path.t

Sourceval path_unboxed_float64x4 : Path.t

Sourceval path_int8x64 : Path.t

Sourceval path_int16x32 : Path.t

Sourceval path_int32x16 : Path.t

Sourceval path_int64x8 : Path.t

Sourceval path_float16x32 : Path.t

Sourceval path_float32x16 : Path.t

Sourceval path_float64x8 : Path.t

Sourceval path_unboxed_int8x64 : Path.t

Sourceval path_unboxed_int16x32 : Path.t

Sourceval path_unboxed_int32x16 : Path.t

Sourceval path_unboxed_int64x8 : Path.t

Sourceval path_unboxed_float16x32 : Path.t

Sourceval path_unboxed_float32x16 : Path.t

Sourceval path_unboxed_float64x8 : Path.t

Sourceval path_match_failure : Path.t

Sourceval path_invalid_argument : 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 ident_or_null : Ident.t

Sourceval ident_idx_imm : Ident.t

Sourceval ident_idx_mut : Ident.t

Sourceval option_argument_jkind : Types.jkind_lr

Sourceval list_argument_jkind : Types.jkind_lr

Source

val set_ikind_of_jkind : 
  (params:Types.type_expr list -> Types.jkind_l -> Types.type_ikind) ->
  unit

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

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

Source

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

Source

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

Sourceval or_null_jkind : Types.type_expr -> Types.jkind_l

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

Sourceval all_predef_jkinds : Ident.t list

All predefined jkinds, for the jkind cache in subst.ml.

Module Ocaml_typing.PredefSource

Module `Ocaml_typing.Predef`Source