package codex

You can search for identifiers within the package.

in-package search v0.2.0

Module `Single_value_abstraction.Bitfield`Source

The most precise abstraction for finite enumerations: a bitfield, with a bit for each possible value, compactly representing a set of values.

Sourcetype boolean = Lattices.Quadrivalent.boolean

Sourcetype enum = Lattices.Bitfield.t

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 Enum_Lattice : Lattices.Sig.ENUM_LATTICE with type t = enum

package codex

Module Single_value_abstraction.BitfieldSource

Module `Single_value_abstraction.Bitfield`Source