Module Core.IdSource

Generators of identifiers for domains and values

Sourcetype _ id = ..

Identifiers

Sourcetype witness = {
  1. eq : 'a 'b. 'a id -> 'b id -> ('a, 'b) Mopsa_utils.Eq.eq option;
}
Sourcetype witness_chain = {
  1. eq : 'a 'b. witness -> 'a id -> 'b id -> ('a, 'b) Mopsa_utils.Eq.eq option;
}

Equality witness of an identifier

Sourceval register_id : witness_chain -> unit

Register a new descriptor

Sourceval equal_id : 'a id -> 'b id -> ('a, 'b) Mopsa_utils.Eq.eq option

Equality witness of identifiers

Sourcemodule GenDomainId (Spec : sig ... end) : sig ... end

Generator of a new domain identifier

Sourcemodule GenStatelessDomainId (Spec : sig ... end) : sig ... end

Generator of a new identifier for stateless domains

Sourcemodule GenValueId (Spec : sig ... end) : sig ... end

Generator of a new value identifier