Parameter `Log_Numeric_Enum.Sub`

type boolean = Lattices.Quadrivalent.t

type bitvector

module Bitvector_Forward : 
  Operator.BITVECTOR_FORWARD_WITH_BIMUL_ADD
    with module Arity := Operator.Forward_Arity
     and type boolean := boolean
     and type bitvector := bitvector

module Bitvector_Backward : sig ... end

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

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

module Boolean_Lattice : Lattices.Sig.BOOLEAN_LATTICE with type t = boolean

module Bitvector_Lattice : 
  Lattices.Sig.BITVECTOR_LATTICE with type t = bitvector

type integer

module Integer_Forward : 
  Operator.INTEGER_FORWARD
    with module Arity := Operator.Forward_Arity
     and type boolean := boolean
     and type integer := integer

module Integer_Backward : 
  Operator.INTEGER_BACKWARD
    with module Arity := Operator.Backward_Arity
     and type boolean := boolean
     and type integer := integer

module Integer_Lattice : Lattices.Sig.INTEGER_LATTICE with type t = integer

val name : string

type enum

module Enum_Forward : 
  Operator.ENUM_FORWARD
    with module Arity := Operator.Forward_Arity
     and 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

module Enum_Lattice : Lattices.Sig.ENUM_LATTICE with type t = enum

Parameter Log_Numeric_Enum.Sub

Parameter `Log_Numeric_Enum.Sub`