module Hashcons: sig .. end
sig
end
module type HashedType = sig .. end
module type S = sig .. end
module Make (X : HashedType) : S with type elt = X.t
(
X
:
HashedType
)
S
with type elt = X.t
module MakeNonWeak (X : HashedType) : S with type elt = X.t