Module `Make.Dummy_All`Source

Sourceval name : string

Sourcetype boolean = Lattices.Quadrivalent.t

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

Source

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

Sourcetype integer

Source

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

Source

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

Sourcetype bitvector

Source

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

Sourcemodule Bitvector_Backward : sig ... end

Sourcetype block

Source

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

Source

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

Sourcetype memory

Source

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

Source

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

Sourcetype enum

Source

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

Source

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

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

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

Source

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

Sourcemodule Memory_Lattice : sig ... end

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

Sourcemodule Block_Lattice : sig ... end

Install

dune-project
Dependency

Authors

Maintainers

Sources

doc/codex.single_value_abstraction/Single_value_abstraction/Dummy/Make/Dummy_All/index.html

Module `Make.Dummy_All`Source

package codex

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/codex.single_value_abstraction/Single_value_abstraction/Dummy/Make/Dummy_All/index.html

Module Make.Dummy_AllSource

dune-project
Dependency

Module `Make.Dummy_All`Source