Sig (p.codex.1.0~rc4.doc.codex.single_value_abstraction.Single_value

Sourcemodule Quadrivalent = Lattices.Quadrivalent

Standard abstraction for booleans.

Sourcemodule Bitfield = Lattices.Bitfield

Forward transfer functions

Sourcemodule type WITH_BOOLEAN_FORWARD = sig ... end

Sourcemodule type WITH_INTEGER_FORWARD = sig ... end

Sourcemodule type WITH_BITVECTOR_FORWARD = sig ... end

Sourcemodule type WITH_ENUM_FORWARD = sig ... end

Sourcemodule type WITH_BLOCK_FORWARD = sig ... end

Sourcemodule type WITH_MEMORY_FORWARD = sig ... end

Sourcemodule type WITH_MEMORY_BITVECTOR_BOOLEAN_FORWARD = sig ... end

Sourcemodule type WITH_MEMORY_BITVECTOR_INTEGER_BOOLEAN_FORWARD = sig ... end

Sourcemodule type WITH_FORWARD = sig ... end

Sourcemodule type WITH_BOOLEAN_BACKWARD = sig ... end

Sourcemodule type WITH_INTEGER_BACKWARD = sig ... end

Sourcemodule type WITH_ENUM_BACKWARD = sig ... end

Sourcemodule type WITH_BITVECTOR_BACKWARD = sig ... end

Sourcemodule type WITH_BLOCK_BACKWARD = sig ... end

Sourcemodule type WITH_MEMORY_BACKWARD = sig ... end

Sourcemodule type WITH_MEMORY_BITVECTOR_BOOLEAN_BACKWARD = sig ... end

Sourcemodule type WITH_BOOLEAN_FORWARD_BACKWARD = sig ... end

Sourcemodule type WITH_INTEGER_FORWARD_BACKWARD = sig ... end

Sourcemodule type WITH_ENUM_FORWARD_BACKWARD = sig ... end

Sourcemodule type WITH_BITVECTOR_FORWARD_BACKWARD = sig ... end

Sourcemodule type WITH_BLOCK_FORWARD_BACKWARD = sig ... end

Sourcemodule type WITH_MEMORY_FORWARD_BACKWARD = sig ... end

Sourcemodule type WITH_BITVECTOR_BOOLEAN_FORWARD_BACKWARD = sig ... end

Sourcemodule type WITH_MEMORY_BITVECTOR_BOOLEAN_FORWARD_BACKWARD = sig ... end

Sourcemodule type WITH_FORWARD_BACKWARD = sig ... end

Sourcemodule type BOOLEAN_LATTICE = Lattices.Sig.BOOLEAN_LATTICE

Sourcemodule type INTEGER_LATTICE = Lattices.Sig.INTEGER_LATTICE

Sourcemodule type BITVECTOR_LATTICE = Lattices.Sig.BITVECTOR_LATTICE

Sourcemodule type ENUM_LATTICE = Lattices.Sig.ENUM_LATTICE

Sourcemodule type MEMORY_LATTICE = sig ... end

Sourcemodule type BLOCK_LATTICE = sig ... end

Sourcemodule type BOOLEAN = sig ... end

Sourcemodule type INTEGER = sig ... end

Sourcemodule type ENUM = sig ... end

Sourcemodule type BITVECTOR = sig ... end

Sourcemodule type BITVECTOR_ENUM = sig ... end

Sourcemodule type NUMERIC = sig ... end

Sourcemodule type NUMERIC_ENUM = sig ... end

Sourcemodule type ALL = sig ... end

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