LABEL signature
signature LABEL
structure CharLabels : LABEL
structure IntLabels : LABEL
structure StringLabels : LABEL
structure BoolLabels : LABEL
Labels in graphs may be of any equality type. To print or display the graph, a structure of signature LABEL provides a funtion from labels to strings.
If labels are characters, integers or strings respectively, the structures CharLabels, IntLabels and StringLabels give the natural printnames.
eqtype label
val toString : label -> string
eqtype label
toString l