module DefaultSpec:Default specification than can be used by the pretty-printer for Hasse-diagrams. Justsig
..end
include
it into some module and override the
defaults as required.include DEFAULT_SPEC
val pp_node_attr : Format.formatter -> 'a -> unit