sig
  module type DEFAULT_SPEC =
    sig
      val name : string
      val label : string
      val size_x : float
      val size_y : float
      val ratio : float
      val rotation : float
      val center : bool
      val top_attr : string
      val bot_attr : string
      val top_bot_attr : string
      val edge_attr : string
    end
  module type SPEC =
    sig
      val name : string
      val label : string
      val size_x : float
      val size_y : float
      val ratio : float
      val rotation : float
      val center : bool
      val top_attr : string
      val bot_attr : string
      val top_bot_attr : string
      val edge_attr : string
      type el
      type +'a node
      val pp_node_attr :
        Format.formatter ->
        Display_hasse_intf.SPEC.el Display_hasse_intf.SPEC.node -> unit
    end
  module type DISPLAY_HASSE =
    sig
      type pomap
      val fprintf :
        Format.formatter -> Display_hasse_intf.DISPLAY_HASSE.pomap -> unit
      val printf : Display_hasse_intf.DISPLAY_HASSE.pomap -> unit
    end
end