module Make:
Parameters: |
|
type
t
module T:Identifiable.Thing
with type t = t
include Identifiable.Thing
module Set:Identifiable.Set
with module T := T
module Map:Identifiable.Map
with module T := T
module Tbl:Identifiable.Tbl
with module T := T