Module `Flambda2_parser.Fexpr_prim`

module D = Fexpr_prim_descr.Describe

module P = Flambda2_terms.Flambda_primitive

module K = Flambda2_kinds.Flambda_kind

val or_unknown : 
  'a Flambda2_parser__Fexpr_prim_descr.param_cons ->
  'a Flambda2_lattices.Or_unknown.t
    Flambda2_parser__Fexpr_prim_descr.param_cons

val target_ocaml_int : 
  Flambda2_numbers.Target_ocaml_int.t Fexpr_prim_descr.param_cons

val scannable_tag : Flambda2_kinds.Tag.Scannable.t Fexpr_prim_descr.param_cons

val mutability : 
  Flambda2_terms.Mutability.t Flambda2_parser__Fexpr_prim_descr.param_cons

val opt_mutability : 
  Flambda2_terms.Mutability.t Flambda2_parser__Fexpr_prim_descr.param_cons

val mutable_flag : 
  Asttypes.mutable_flag Flambda2_parser__Fexpr_prim_descr.param_cons

val standard_int : 
  Flambda2_kinds.Flambda_kind.Standard_int.t
    Flambda2_parser__Fexpr_prim_descr.param_cons

val standard_int_or_float : 
  Flambda2_kinds.Flambda_kind.Standard_int_or_float.t
    Flambda2_parser__Fexpr_prim_descr.param_cons

val int_shift_op : P.int_shift_op Flambda2_parser__Fexpr_prim_descr.param_cons

val unary_int_arith_op : 
  P.unary_int_arith_op Flambda2_parser__Fexpr_prim_descr.param_cons

val binary_int_arith_op : 
  P.binary_int_arith_op Flambda2_parser__Fexpr_prim_descr.param_cons

val float_bitwidth : 
  P.float_bitwidth Flambda2_parser__Fexpr_prim_descr.param_cons

val unary_float_arith_op : 
  P.unary_float_arith_op Flambda2_parser__Fexpr_prim_descr.param_cons

val binary_float_arith_op : 
  P.binary_float_arith_op Flambda2_parser__Fexpr_prim_descr.param_cons

val block_access_field_kind : 
  P.Block_access_field_kind.t Flambda2_parser__Fexpr_prim_descr.param_cons

val flat_suffix_element : 
  K.flat_suffix_element Flambda2_parser__Fexpr_prim_descr.param_cons

val mixed_block_shape : 
  K.Mixed_block_shape.t Flambda2_parser__Fexpr_prim_descr.param_cons

val block_access_kind : 
  P.Block_access_kind.t Flambda2_parser__Fexpr_prim_descr.param_cons

type block_kind =

| FNaked_floats
| FValues of Flambda2_kinds.Tag.Scannable.t

val block_kind : block_kind Fexpr_prim_descr.param_cons

val string_accessor_width : 
  P.string_accessor_width Flambda2_parser__Fexpr_prim_descr.param_cons

val init_or_assign : 
  P.Init_or_assign.t Flambda2_parser__Fexpr_prim_descr.param_cons

val alloc_mode_for_allocation : 
  Flambda2_bound_identifiers.Alloc_mode.For_allocations.t
    Flambda2_parser__Fexpr_prim_descr.param_cons

val alloc_mode_for_assignments : 
  Flambda2_bound_identifiers.Alloc_mode.For_assignments.t
    Flambda2_parser__Fexpr_prim_descr.param_cons

val boxable_number : 
  Flambda2_kinds.Flambda_kind.Boxable_number.t
    Flambda2_parser__Fexpr_prim_descr.param_cons

val array_kind : P.Array_kind.t Flambda2_parser__Fexpr_prim_descr.param_cons

val array_kind_for_length : 
  P.Array_kind_for_length.t Flambda2_parser__Fexpr_prim_descr.param_cons

val lazy_tag : 
  Lambda.lazy_block_tag Flambda2_parser__Fexpr_prim_descr.param_cons

val duplicate_array_kind : 
  P.Duplicate_array_kind.t Flambda2_parser__Fexpr_prim_descr.param_cons

val bigarray_kind : 
  P.Bigarray_kind.t Flambda2_parser__Fexpr_prim_descr.param_cons

val bigarray_layout : 
  P.Bigarray_layout.t Flambda2_parser__Fexpr_prim_descr.param_cons

val reinterp_64bit_word : 
  P.Reinterpret_64_bit_word.t Flambda2_parser__Fexpr_prim_descr.param_cons

val int_atomic_op : 
  P.int_atomic_op Flambda2_parser__Fexpr_prim_descr.param_cons

val kind : K.t Flambda2_parser__Fexpr_prim_descr.param_cons

val kind_with_subkind : 
  Flambda2_kinds.Flambda_kind.With_subkind.t
    Flambda2_parser__Fexpr_prim_descr.param_cons

val invalid : Flambda_to_fexpr_commons.Env.t -> K.t -> Fexpr.prim_op

val optimised_out : Flambda_to_fexpr_commons.Env.t -> K.t -> Fexpr.prim_op

val probe_is_enabled : 
  Flambda_to_fexpr_commons.Env.t ->
  (string Fexpr.located * bool option) ->
  Fexpr.prim_op

val enter_inlined_apply : 
  Flambda_to_fexpr_commons.Env.t ->
  unit ->
  Fexpr.prim_op

val domain_index : Flambda_to_fexpr_commons.Env.t -> unit -> Fexpr.prim_op

val dls_get : Flambda_to_fexpr_commons.Env.t -> unit -> Fexpr.prim_op

val tls_get : Flambda_to_fexpr_commons.Env.t -> unit -> Fexpr.prim_op

val poll : Flambda_to_fexpr_commons.Env.t -> unit -> Fexpr.prim_op

val cpu_relax : Flambda_to_fexpr_commons.Env.t -> unit -> Fexpr.prim_op

val block_load : 
  Flambda_to_fexpr_commons.Env.t ->
  (P.Block_access_kind.t
   * Flambda2_terms.Mutability.t
   * Flambda2_numbers.Target_ocaml_int.t) ->
  Fexpr.prim_op

val bigarray_length : Flambda_to_fexpr_commons.Env.t -> int -> Fexpr.prim_op

val array_length : 
  Flambda_to_fexpr_commons.Env.t ->
  P.Array_kind_for_length.t ->
  Fexpr.prim_op

val box_num : 
  Flambda_to_fexpr_commons.Env.t ->
  (Flambda2_kinds.Flambda_kind.Boxable_number.t
   * Flambda2_bound_identifiers.Alloc_mode.For_allocations.t) ->
  Fexpr.prim_op

val tag_immediate : Flambda_to_fexpr_commons.Env.t -> unit -> Fexpr.prim_op

val obj_dup : Flambda_to_fexpr_commons.Env.t -> unit -> Fexpr.prim_op

val get_header : Flambda_to_fexpr_commons.Env.t -> unit -> Fexpr.prim_op

val reinterpret_boxed_vector : 
  Flambda_to_fexpr_commons.Env.t ->
  unit ->
  Fexpr.prim_op

val peek : 
  Flambda_to_fexpr_commons.Env.t ->
  Flambda2_kinds.Flambda_kind.Standard_int_or_float.t ->
  Fexpr.prim_op

val get_tag : Flambda_to_fexpr_commons.Env.t -> unit -> Fexpr.prim_op

val end_region : Flambda_to_fexpr_commons.Env.t -> unit -> Fexpr.prim_op

val end_try_region : Flambda_to_fexpr_commons.Env.t -> unit -> Fexpr.prim_op

val end_ghost_region : Flambda_to_fexpr_commons.Env.t -> unit -> Fexpr.prim_op

val end_try_ghost_region : 
  Flambda_to_fexpr_commons.Env.t ->
  unit ->
  Fexpr.prim_op

val duplicate_array : 
  Flambda_to_fexpr_commons.Env.t ->
  (P.Duplicate_array_kind.t
   * Flambda2_terms.Mutability.t
   * Flambda2_terms.Mutability.t) ->
  Fexpr.prim_op

val int_as_pointer : 
  Flambda_to_fexpr_commons.Env.t ->
  Flambda2_bound_identifiers.Alloc_mode.For_allocations.t ->
  Fexpr.prim_op

val int_uarith : 
  Flambda_to_fexpr_commons.Env.t ->
  (Flambda2_kinds.Flambda_kind.Standard_int.t * P.unary_int_arith_op) ->
  Fexpr.prim_op

val is_boxed_float : Flambda_to_fexpr_commons.Env.t -> unit -> Fexpr.prim_op

val is_flat_float_array : 
  Flambda_to_fexpr_commons.Env.t ->
  unit ->
  Fexpr.prim_op

val is_int : Flambda_to_fexpr_commons.Env.t -> unit -> Fexpr.prim_op

val is_null : Flambda_to_fexpr_commons.Env.t -> unit -> Fexpr.prim_op

val num_conv : 
  Flambda_to_fexpr_commons.Env.t ->
  (Flambda2_kinds.Flambda_kind.Standard_int_or_float.t
   * Flambda2_kinds.Flambda_kind.Standard_int_or_float.t) ->
  Fexpr.prim_op

val make_lazy : 
  Flambda_to_fexpr_commons.Env.t ->
  P.Lazy_block_tag.t ->
  Fexpr.prim_op

val opaque_identity : Flambda_to_fexpr_commons.Env.t -> unit -> Fexpr.prim_op

val reinterpret_64_bit_word : 
  Flambda_to_fexpr_commons.Env.t ->
  P.Reinterpret_64_bit_word.t ->
  Fexpr.prim_op

val ufloat_arith : 
  Flambda_to_fexpr_commons.Env.t ->
  (P.float_bitwidth * P.unary_float_arith_op) ->
  Fexpr.prim_op

val unbox_num : 
  Flambda_to_fexpr_commons.Env.t ->
  Flambda2_kinds.Flambda_kind.Boxable_number.t ->
  Fexpr.prim_op

val untag_immediate : Flambda_to_fexpr_commons.Env.t -> unit -> Fexpr.prim_op

val project_value_slot : 
  Flambda_to_fexpr_commons.Env.t ->
  (Flambda2_identifiers.Function_slot.t * Flambda2_identifiers.Value_slot.t) ->
  Fexpr.prim_op

val project_function_slot : 
  Flambda_to_fexpr_commons.Env.t ->
  (Flambda2_identifiers.Function_slot.t * Flambda2_identifiers.Function_slot.t) ->
  Fexpr.prim_op

val string_length : Flambda_to_fexpr_commons.Env.t -> unit -> Fexpr.prim_op

val bytes_length : Flambda_to_fexpr_commons.Env.t -> unit -> Fexpr.prim_op

val boolean_not : Flambda_to_fexpr_commons.Env.t -> unit -> Fexpr.prim_op

val atomic_load_field : 
  Flambda_to_fexpr_commons.Env.t ->
  P.Block_access_field_kind.t ->
  Fexpr.prim_op

val block_set : 
  Flambda_to_fexpr_commons.Env.t ->
  (P.Block_access_kind.t
   * P.Init_or_assign.t
   * Flambda2_numbers.Target_ocaml_int.t) ->
  Fexpr.prim_op

val array_load : 
  Flambda_to_fexpr_commons.Env.t ->
  (P.Array_kind.t * P.Array_load_kind.t * Flambda2_terms.Mutability.t) ->
  Fexpr.prim_op

val bigarray_load : 
  Flambda_to_fexpr_commons.Env.t ->
  (P.num_dimensions * P.Bigarray_kind.t * P.Bigarray_layout.t) ->
  Fexpr.prim_op

val phys_eq : Flambda_to_fexpr_commons.Env.t -> unit -> Fexpr.prim_op

val phys_ne : Flambda_to_fexpr_commons.Env.t -> unit -> Fexpr.prim_op

val int_barith : 
  Flambda_to_fexpr_commons.Env.t ->
  (Flambda2_kinds.Flambda_kind.Standard_int.t * P.binary_int_arith_op) ->
  Fexpr.prim_op

val int_comp : 
  Flambda_to_fexpr_commons.Env.t ->
  (Flambda2_kinds.Flambda_kind.Standard_int.t
   * Flambda2_terms.Flambda_primitive.signed_or_unsigned
       Flambda2_terms.Flambda_primitive.comparison_behaviour) ->
  Fexpr.prim_op

val int_shift : 
  Flambda_to_fexpr_commons.Env.t ->
  (Flambda2_kinds.Flambda_kind.Standard_int.t * P.int_shift_op) ->
  Fexpr.prim_op

val bfloat_arith : 
  Flambda_to_fexpr_commons.Env.t ->
  (P.float_bitwidth * P.binary_float_arith_op) ->
  Fexpr.prim_op

val float_comp : 
  Flambda_to_fexpr_commons.Env.t ->
  (P.float_bitwidth
   * unit Flambda2_terms.Flambda_primitive.comparison_behaviour) ->
  Fexpr.prim_op

val string_load : 
  Flambda_to_fexpr_commons.Env.t ->
  P.string_accessor_width ->
  Fexpr.prim_op

val bytes_load : 
  Flambda_to_fexpr_commons.Env.t ->
  P.string_accessor_width ->
  Fexpr.prim_op

val bigstring_load : 
  Flambda_to_fexpr_commons.Env.t ->
  P.string_accessor_width ->
  Fexpr.prim_op

val bigarray_get_alignment : 
  Flambda_to_fexpr_commons.Env.t ->
  int ->
  Fexpr.prim_op

val read_offset : 
  Flambda_to_fexpr_commons.Env.t ->
  (Flambda2_kinds.Flambda_kind.With_subkind.t * Asttypes.mutable_flag) ->
  Fexpr.prim_op

val poke : 
  Flambda_to_fexpr_commons.Env.t ->
  Flambda2_kinds.Flambda_kind.Standard_int_or_float.t ->
  Fexpr.prim_op

val array_set : 
  Flambda_to_fexpr_commons.Env.t ->
  (P.Array_kind.t * P.Array_set_kind.t) ->
  Fexpr.prim_op

val atomic_exchange_field : 
  Flambda_to_fexpr_commons.Env.t ->
  P.Block_access_field_kind.t ->
  Fexpr.prim_op

val atomic_field_int_arith : 
  Flambda_to_fexpr_commons.Env.t ->
  P.int_atomic_op ->
  Fexpr.prim_op

val atomic_set_field : 
  Flambda_to_fexpr_commons.Env.t ->
  P.Block_access_field_kind.t ->
  Fexpr.prim_op

val bigarray_set : 
  Flambda_to_fexpr_commons.Env.t ->
  (P.num_dimensions * P.Bigarray_kind.t * P.Bigarray_layout.t) ->
  Fexpr.prim_op

val bytes_or_bigstring_set : 
  Flambda_to_fexpr_commons.Env.t ->
  (P.bytes_like_value * P.string_accessor_width) ->
  Fexpr.prim_op

val write_offset : 
  Flambda_to_fexpr_commons.Env.t ->
  (P.Write_offset_kind.t
   * Flambda2_kinds.Flambda_kind.With_subkind.t
   * Flambda2_bound_identifiers.Alloc_mode.For_assignments.t) ->
  Fexpr.prim_op

val atomic_compare_and_set_field : 
  Flambda_to_fexpr_commons.Env.t ->
  P.Block_access_field_kind.t ->
  Fexpr.prim_op

val atomic_compare_exchange_field : 
  Flambda_to_fexpr_commons.Env.t ->
  (P.Block_access_field_kind.t * P.Block_access_field_kind.t) ->
  Fexpr.prim_op

val begin_region : Flambda_to_fexpr_commons.Env.t -> unit -> Fexpr.prim_op

val begin_try_region : Flambda_to_fexpr_commons.Env.t -> unit -> Fexpr.prim_op

val begin_ghost_region : 
  Flambda_to_fexpr_commons.Env.t ->
  unit ->
  Fexpr.prim_op

val begin_try_ghost_region : 
  Flambda_to_fexpr_commons.Env.t ->
  unit ->
  Fexpr.prim_op

val make_block : 
  Flambda_to_fexpr_commons.Env.t ->
  (Flambda2_terms.Mutability.t
   * block_kind
   * Flambda2_bound_identifiers.Alloc_mode.For_allocations.t) ->
  Fexpr.prim_op

val make_array : 
  Flambda_to_fexpr_commons.Env.t ->
  (P.Array_kind.t
   * Flambda2_terms.Mutability.t
   * Flambda2_bound_identifiers.Alloc_mode.For_allocations.t) ->
  Fexpr.prim_op

module OfFlambda : sig ... end

module ToFlambda : sig ... end

Module Flambda2_parser.Fexpr_prim

Module `Flambda2_parser.Fexpr_prim`