Module Int_ids.Variable
type t = private Flambda2_algorithms.Table_by_int_id.Id.tinclude Flambda2_algorithms.Container_types.S_plus_iterator
with type t := Flambda2_identifiers.Int_ids.Variable.t
module T :
Flambda2_algorithms.Container_types_intf.Thing
with type t = Flambda2_identifiers.Int_ids.Variable.tinclude Flambda2_algorithms.Container_types_intf.Thing
with type t := Flambda2_identifiers.Int_ids.Variable.T.t
include Stdlib.Hashtbl.HashedType
with type t := Flambda2_identifiers.Int_ids.Variable.T.t
val equal :
Flambda2_identifiers.Int_ids.Variable.T.t ->
Flambda2_identifiers.Int_ids.Variable.T.t ->
boolThe equality predicate used to compare keys.
val hash : Flambda2_identifiers.Int_ids.Variable.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_identifiers.Int_ids.Variable.T.t
val compare :
Flambda2_identifiers.Int_ids.Variable.T.t ->
Flambda2_identifiers.Int_ids.Variable.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_identifiers.Int_ids.Variable.T.t ->
unitmodule Set :
Flambda2_algorithms.Container_types_intf.Set
with type elt = Flambda2_identifiers.Int_ids.Variable.tmodule Map :
Flambda2_algorithms.Container_types_intf.Map_plus_iterator
with type key = Flambda2_identifiers.Int_ids.Variable.t
and module Set = Flambda2_identifiers.Int_ids.Variable.Setmodule Lmap :
Flambda2_algorithms.Lmap.S
with type key := Flambda2_identifiers.Int_ids.Variable.tval create :
?user_visible:unit ->
string ->
Flambda2_kinds.Flambda_kind.t ->
Flambda2_identifiers.Int_ids.Variable.tval compilation_unit :
Flambda2_identifiers.Int_ids.Variable.t ->
Compilation_unit.tval name : Flambda2_identifiers.Int_ids.Variable.t -> stringval name_stamp : Flambda2_identifiers.Int_ids.Variable.t -> intval user_visible : Flambda2_identifiers.Int_ids.Variable.t -> bool