Datatype (astral.Astral_internal.Datatype)

module Printable
  (M : Datatype_sig.SHOW) : 
  Datatype_sig.PRINTABLE with type t := M.t

Builds pretty-printing functions from a show function

module Comparable
  (M : Datatype_sig.COMPARISON) : 
  Datatype_sig.COMPARABLE with type t := M.t

Builds equality from compare function

module Collections
  (M : Datatype_sig.COMPARISON) : 
  Datatype_sig.COLLECTIONS with type t := M.t

Builds set and map over type t