Module type `Sig.ENUM`

val name : string

include WITH_ENUM_FORWARD_BACKWARD

type boolean = Quadrivalent.t

type enum

include WITH_ENUM_FORWARD with type boolean := boolean and type enum := enum

module Enum_Forward : 
  Operator.ENUM_FORWARD
    with module Arity := Operator.Forward_Arity
     and type boolean := boolean
     and type enum := enum

include WITH_ENUM_BACKWARD with type boolean := boolean and type enum := enum

module Enum_Backward : 
  Operator.ENUM_BACKWARD
    with module Arity := Operator.Backward_Arity
     and type boolean := boolean
     and type enum := enum

include WITH_BOOLEAN_FORWARD_BACKWARD with type boolean := boolean

include WITH_BOOLEAN_FORWARD with type boolean := boolean

module Boolean_Forward : 
  Operator.BOOLEAN_FORWARD
    with module Arity := Operator.Forward_Arity
     and type boolean := boolean

include WITH_BOOLEAN_BACKWARD with type boolean := boolean

module Boolean_Backward : 
  Operator.BOOLEAN_BACKWARD
    with module Arity := Operator.Backward_Arity
     and type boolean := boolean

module Boolean_Lattice : BOOLEAN_LATTICE with type t = boolean

module Enum_Lattice : ENUM_LATTICE with type t = enum

Module type Sig.ENUM

Module type `Sig.ENUM`