IStdlib.PrettyPrintable
Wrappers for making pretty-printable modules
module type PrintableType = sig ... end
module type PrintableEquatableType = sig ... end
module type PrintableOrderedType = sig ... end
module type PrintableEquatableOrderedType = sig ... end
module type PPSet = sig ... end
module type MonoMap = sig ... end
module type PPMap = sig ... end
module type PPMonoMap = sig ... end
module MakePPMonoMap
(Ord : PrintableOrderedType)
(Val : PrintableType) :
PPMonoMap with type key = Ord.t and type value = Val.t
module type PrintableRankedType = sig ... end
module type PPUniqRankSet = sig ... end
set where at most one element of a given rank can be present
module MakePPUniqRankSet
(Rank : PrintableEquatableOrderedType)
(Val : PrintableRankedType with type rank = Rank.t) :
PPUniqRankSet with type elt = Val.t and type rank = Rank.t