Up – Package index » GT » Library enum » Enum

Module `Enum`Source

Sourcemodule Genum : sig ... end

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