Module type `Sig.NUMERIC`

include BITVECTOR

include WITH_BITVECTOR_FORWARD_BACKWARD

type boolean = Quadrivalent.t

type bitvector

include WITH_BITVECTOR_FORWARD
  with type boolean := boolean
   and type bitvector := bitvector

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

include WITH_BITVECTOR_BACKWARD
  with type boolean := boolean
   and type bitvector := bitvector

module Bitvector_Backward : sig ... end

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 Bitvector_Lattice : BITVECTOR_LATTICE with type t = bitvector

include INTEGER
  with type boolean := boolean
   and module Boolean_Lattice := Boolean_Lattice
   and module Boolean_Forward := Boolean_Forward
   and module Boolean_Backward := Boolean_Backward

val name : string

include WITH_INTEGER_FORWARD_BACKWARD with type boolean := boolean

type integer

include WITH_INTEGER_FORWARD
  with type boolean := boolean
   and type integer := integer

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

include WITH_INTEGER_BACKWARD
  with 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

include WITH_BOOLEAN_FORWARD_BACKWARD
  with type boolean := boolean
  with module Boolean_Forward := Boolean_Forward
  with module Boolean_Backward := Boolean_Backward

include WITH_BOOLEAN_FORWARD
  with type boolean := boolean
  with module Boolean_Forward := Boolean_Forward

include WITH_BOOLEAN_BACKWARD
  with type boolean := boolean
  with module Boolean_Backward := Boolean_Backward

module Integer_Lattice : INTEGER_LATTICE with type t = integer

Module type Sig.NUMERIC

Module type `Sig.NUMERIC`