Module Flambda2_kinds.Tag
Tags on OCaml values.
include Flambda2_algorithms.Container_types.S
module T :
Flambda2_algorithms.Container_types_intf.Thing
with type t = Flambda2_kinds.Tag.tinclude Flambda2_algorithms.Container_types_intf.Thing
with type t := Flambda2_kinds.Tag.T.t
include Stdlib.Hashtbl.HashedType with type t := Flambda2_kinds.Tag.T.t
val equal : Flambda2_kinds.Tag.T.t -> Flambda2_kinds.Tag.T.t -> boolThe equality predicate used to compare keys.
val hash : Flambda2_kinds.Tag.T.t -> intA hashing function on keys. It must be such that if two keys are equal according to equal, then they have identical hash values as computed by hash. Examples: suitable (equal, hash) pairs for arbitrary key types include
- (
(=),hash) for comparing objects by structure (provided objects do not contain floats) - (
(fun x y -> compare x y = 0),hash) for comparing objects by structure and handlingStdlib.nancorrectly - (
(==),hash) for comparing objects by physical equality (e.g. for mutable or cyclic objects).
include Stdlib.Map.OrderedType with type t := Flambda2_kinds.Tag.T.t
val compare : Flambda2_kinds.Tag.T.t -> Flambda2_kinds.Tag.T.t -> intA total ordering function over the keys. This is a two-argument function f such that f e1 e2 is zero if the keys e1 and e2 are equal, f e1 e2 is strictly negative if e1 is smaller than e2, and f e1 e2 is strictly positive if e1 is greater than e2. Example: a suitable ordering function is the generic structural comparison function Stdlib.compare.
val print : Stdlib.Format.formatter -> Flambda2_kinds.Tag.T.t -> unitmodule Set :
Flambda2_algorithms.Container_types_intf.Set
with type elt = Flambda2_kinds.Tag.tmodule Map :
Flambda2_algorithms.Container_types_intf.Map
with type key = Flambda2_kinds.Tag.t
and module Set = Flambda2_kinds.Tag.Settype tag = Flambda2_kinds.Tag.tval create_exn : int -> Flambda2_kinds.Tag.tval create_from_targetint :
Target_system.Machine_width.t ->
Flambda2_numbers.Target_ocaml_int.t ->
Flambda2_kinds.Tag.t optionval to_int : Flambda2_kinds.Tag.t -> intval to_targetint_31_63 :
Target_system.Machine_width.t ->
Flambda2_kinds.Tag.t ->
Flambda2_numbers.Target_ocaml_int.tval zero : Flambda2_kinds.Tag.tval string_tag : Flambda2_kinds.Tag.tval closure_tag : Flambda2_kinds.Tag.tval infix_tag : Flambda2_kinds.Tag.tval double_tag : Flambda2_kinds.Tag.tval double_array_tag : Flambda2_kinds.Tag.tval custom_tag : Flambda2_kinds.Tag.tval object_tag : Flambda2_kinds.Tag.tval forward_tag : Flambda2_kinds.Tag.tval lazy_tag : Flambda2_kinds.Tag.tval is_structured_block : Flambda2_kinds.Tag.t -> boolReturns true iff the supplied tag is that of a GC-scannable block.
val is_structured_block_but_not_data_constructor : Flambda2_kinds.Tag.t -> boolReturns true iff the supplied tag is that of a GC-scannable block, but outside the range of data constructors (or arrays, records, etc.), for example a lazy value.
module Scannable : sig ... endmodule Non_scannable : sig ... end