Mlsem_types.Enum
type t
val pp : Stdlib.Format.formatter -> t -> unit
val compare : t -> t -> int
val define : string -> t
val any : Ty.t
val typ : t -> Ty.t