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