Module type `Sig.ALL`

Most complete version, with all datatypes. Used as a parameter for functors.

val name : string

include WITH_BOOLEAN_FORWARD_BACKWARD

type boolean = Quadrivalent.t

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

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_BITVECTOR_FORWARD_BACKWARD with type boolean := boolean

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_BLOCK_FORWARD_BACKWARD
  with type boolean := boolean
   and type bitvector := bitvector

type block

include WITH_BLOCK_FORWARD
  with type boolean := boolean
   and type bitvector := bitvector
   and type block := block

module Block_Forward : 
  Operator.BLOCK_FORWARD
    with module Arity := Operator.Forward_Arity
     and type boolean := boolean
     and type value := bitvector
     and type block := block
     and type offset := bitvector

include WITH_BLOCK_BACKWARD
  with type boolean := boolean
   and type bitvector := bitvector
   and type block := block

module Block_Backward : 
  Operator.BLOCK_BACKWARD
    with module Arity := Operator.Backward_Arity
     and type boolean := boolean
     and type value := bitvector
     and type block := block
     and type offset := bitvector

include WITH_MEMORY_FORWARD_BACKWARD
  with type bitvector := bitvector
   and type boolean := boolean
   and type block := block

type memory

include WITH_MEMORY_FORWARD
  with type boolean := boolean
   and type bitvector := bitvector
   and type memory := memory
   and type block := block

module Memory_Forward : 
  Operator.MEMORY_FORWARD
    with module Arity := Operator.Forward_Arity
     and type boolean := boolean
     and type address := bitvector
     and type memory := memory
     and type block := block
     and type value := bitvector

include WITH_MEMORY_BACKWARD
  with type boolean := boolean
   and type bitvector := bitvector
   and type memory := memory
   and type block := block

module Memory_Backward : 
  Operator.MEMORY_BACKWARD
    with module Arity := Operator.Backward_Arity
     and type boolean := boolean
     and type address := bitvector
     and type memory := memory
     and type block := block
     and type value := bitvector

include WITH_ENUM_FORWARD_BACKWARD with type boolean := boolean

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

module Boolean_Lattice : BOOLEAN_LATTICE with type t = boolean

module Integer_Lattice : INTEGER_LATTICE with type t = integer

module Bitvector_Lattice : BITVECTOR_LATTICE with type t = bitvector

module Memory_Lattice : MEMORY_LATTICE with type t = memory

module Enum_Lattice : ENUM_LATTICE with type t = enum

module Block_Lattice : BLOCK_LATTICE with type t = block

Module type Sig.ALL

Module type `Sig.ALL`