Module type Display_hasse_intf.DEFAULT_SPEC

module type DEFAULT_SPEC = sig .. end

DOT-options (see "man dot")

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

Node attribute string for top nodes, e.g. "shape = box"

val bot_attr : string

Node attribute string for bottom nodes

val top_bot_attr : string

Node attribute string for top/bottom nodes

val edge_attr : string

Edge attribute string, e.g. "color = blue"