Minimize.Label
type t
The type of transition labels.
val compare : t -> t -> int
A total order on transition labels.
val print : t -> string
print is used for debugging purposes only.
print