module Make:
functor (
T
:
Thing
) ->
S
with type t := T.t
type t
module T: Identifiable.Thing with type t = t
Identifiable.Thing
with type t = t
include Identifiable.Thing
module Set: sig .. end
sig
end
module Map: sig .. end
module Tbl: sig .. end