Module Abc.Label

type t =
| A
| B
| C
val equal : t -> t -> bool
val all : t list

all returns the set of all elements of type t as a list.