Module Build.Enum

val empty : Operator.Function_symbol.enum t

val unknown : level:int -> Operator.Function_symbol.enum t

type boolean = Operator.Function_symbol.boolean t

type enum = Operator.Function_symbol.enum t

val caseof : case:int -> (enum, boolean) Operator.Forward_Arity.ar1

val enum_const : case:int -> enum Operator.Forward_Arity.ar0