Module `Make.Complete_Integer`

Parameters

module B : sig ... end

Signature

val name : string

type boolean = B.boolean

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

type integer = B.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

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

type 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

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

type memory

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

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

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 Boolean_Lattice : Lattices.Sig.BOOLEAN_LATTICE with type t = boolean

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

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

module Memory_Lattice : sig ... end

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

module Block_Lattice : sig ... end

Module Make.Complete_Integer

Parameters

Signature

Module `Make.Complete_Integer`