Module type Sig.With_Id

Identifying domains.

val unique_id : unit -> Fresh_id.t

val name : unit -> string