Module `Name_mode.Or_absent`

type t = private

| Absent
| Present of Flambda2_nominal.Name_mode.name_mode

val absent : Flambda2_nominal.Name_mode.Or_absent.t

val present : 
  Flambda2_nominal.Name_mode.name_mode ->
  Flambda2_nominal.Name_mode.Or_absent.t

val is_present : Flambda2_nominal.Name_mode.Or_absent.t -> bool

val is_present_as_normal : Flambda2_nominal.Name_mode.Or_absent.t -> bool

include Flambda2_algorithms.Container_types.S
  with type t := Flambda2_nominal.Name_mode.Or_absent.t

module T : 
  Flambda2_algorithms.Container_types_intf.Thing
    with type t = Flambda2_nominal.Name_mode.Or_absent.t

include Flambda2_algorithms.Container_types_intf.Thing
  with type t := Flambda2_nominal.Name_mode.Or_absent.T.t

include Stdlib.Hashtbl.HashedType
  with type t := Flambda2_nominal.Name_mode.Or_absent.T.t

val equal : 
  Flambda2_nominal.Name_mode.Or_absent.T.t ->
  Flambda2_nominal.Name_mode.Or_absent.T.t ->
  bool

The equality predicate used to compare keys.

val hash : Flambda2_nominal.Name_mode.Or_absent.T.t -> int

A 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 handling Stdlib.nan correctly
((==), hash) for comparing objects by physical equality (e.g. for mutable or cyclic objects).

include Stdlib.Map.OrderedType
  with type t := Flambda2_nominal.Name_mode.Or_absent.T.t

val print : 
  Stdlib.Format.formatter ->
  Flambda2_nominal.Name_mode.Or_absent.T.t ->
  unit

module Set : 
  Flambda2_algorithms.Container_types_intf.Set
    with type elt = Flambda2_nominal.Name_mode.Or_absent.t

module Map : 
  Flambda2_algorithms.Container_types_intf.Map
    with type key = Flambda2_nominal.Name_mode.Or_absent.t
     and module Set = Flambda2_nominal.Name_mode.Or_absent.Set

val compare_partial_order : 
  Flambda2_nominal.Name_mode.Or_absent.t ->
  Flambda2_nominal.Name_mode.Or_absent.t ->
  int option

val compare : 
  Flambda2_nominal.Name_mode.Or_absent.t ->
  Flambda2_nominal.Name_mode.Or_absent.t ->
  [ `Be_explicit_about_total_or_partial_ordering ]

This shadows compare from the above include.

val join_in_terms : 
  Flambda2_nominal.Name_mode.Or_absent.t ->
  Flambda2_nominal.Name_mode.Or_absent.t ->
  Flambda2_nominal.Name_mode.Or_absent.t

Module Name_mode.Or_absent

Module `Name_mode.Or_absent`