PrettyPrintable (infer.IStdlib.PrettyPrintable)

module F = Stdlib.Format

Wrappers for making pretty-printable modules

val pp_collection : 
  pp_item:(F.formatter -> 'a -> unit) ->
  F.formatter ->
  'a list ->
  unit

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 MakePPSet (Ord : PrintableOrderedType) : PPSet with type elt = Ord.t

module MakePPMap (Ord : PrintableOrderedType) : PPMap with type key = Ord.t

module PPMonoMapOfPPMap
  (M : PPMap)
  (Val : PrintableType) : 
  PPMonoMap with type key = M.key and type value = Val.t and type t = Val.t M.t

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