Module Enum.Genum

Enum plugin: converts constructor name to integer. Constructor arguments are not taken to account.

Synthetized attribute is int.

Inherited attributes' type (both default and for type parameters) is unit.

For type declaration type ('a,'b,...) typ = ... it will create transformation function with type

('a -> int) -> ('b -> int) -> ... -> ('a,'b,...) typ -> int

See also: Compare plugin.