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