jon.recoil.org

Module Sort.Const

type t = Jkind_types.Sort.Const.t =
  1. | Base of Jkind.Sort.base
  2. | Product of Jkind.Sort.Const.t list
val equal : Jkind.Sort.Const.t -> Jkind.Sort.Const.t -> bool
val all_void : Jkind.Sort.Const.t -> bool
val value : Jkind.Sort.Const.t
val float64 : Jkind.Sort.Const.t
val float32 : Jkind.Sort.Const.t
val untagged_immediate : Jkind.Sort.Const.t
val bits8 : Jkind.Sort.Const.t
val bits16 : Jkind.Sort.Const.t
val bits32 : Jkind.Sort.Const.t
val bits64 : Jkind.Sort.Const.t
val vec128 : Jkind.Sort.Const.t
val vec256 : Jkind.Sort.Const.t
val vec512 : Jkind.Sort.Const.t
module Debug_printers : sig ... end
val for_class_arg : Jkind.Sort.Const.t
val for_instance_var : Jkind.Sort.Const.t
val for_lazy_body : Jkind.Sort.Const.t
val for_tuple_element : Jkind.Sort.Const.t
val for_variant_arg : Jkind.Sort.Const.t
val for_boxed_record : Jkind.Sort.Const.t
val for_block_element : Jkind.Sort.Const.t
val for_array_get_result : Jkind.Sort.Const.t
val for_array_comprehension_element : Jkind.Sort.Const.t
val for_list_element : Jkind.Sort.Const.t
val for_function : Jkind.Sort.Const.t

These are sorts for the types of ocaml expressions that we expect will always be "value". These names are used in the translation to lambda to make the code clearer.

val for_probe_body : Jkind.Sort.Const.t
val for_poly_variant : Jkind.Sort.Const.t
val for_object : Jkind.Sort.Const.t
val for_initializer : Jkind.Sort.Const.t
val for_method : Jkind.Sort.Const.t
val for_module : Jkind.Sort.Const.t
val for_predef_value : Jkind.Sort.Const.t
val for_tuple : Jkind.Sort.Const.t
val for_idx : Jkind.Sort.Const.t
val for_loop_index : Jkind.Sort.Const.t
val for_constructor : Jkind.Sort.Const.t
val for_boxed_variant : Jkind.Sort.Const.t
val for_exception : Jkind.Sort.Const.t
val for_type_extension : Jkind.Sort.Const.t
val for_class : Jkind.Sort.Const.t