The 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
returns the printname of the label l