module Identifiable: Identifiable
module type S = sig .. end
module Of_stringable_sexpable: functor (T : siginclude Stringable.S
include Sexpable.S
end) -> S with type identifiable = T.stringable
Of_stringable_sexpable, Of_stringable and Of_sexpable creates an identiable that
uses string conversions for binable, sexpable, equality, hash, compare, and pp.
module Of_stringable: functor (T : Stringable.S) -> S with type identifiable = T.stringable
module Of_sexpable: functor (T : Sexpable.S) -> S with type identifiable = T.sexpable