package codex

  1. Overview
  2. Docs
package codex
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Single_value_abstraction.IvalSource

Our main bitvector abstraction: interval and congruence abstraction, for both the signed and unsigned interpretation of bitvectors.

Sourceval name : string
Sourcetype bitvector
Sourcemodule Bitvector_Backward : sig ... end
Sourceval integer_is_singleton : integer -> Z.t option