Module type Enumeration.S

type ('a, 'b) enumeration
type t
type enumeration_witness
val enumeration : (tenumeration_witness) enumeration