codex.whilelib
Build.Integer
Type_parser
codex
codex.bdd
codex.binarytrace
codex.cfg
codex.codex_config
codex.codex_log
codex.compressor
codex.condition_map
codex.datatype_sig
codex.domains
codex.emit_alarm
codex.extstdlib
codex.file_to_html
codex.fixpoint
codex.framac_ival
codex.gui
codex.hashing
codex.het-hashtbl
codex.hook
codex.int_builtins
codex.interval_map
codex.lattices
codex.online_nearest_common_ancestor_skiplist
codex.operator
codex.record_time
codex.single_value_abstraction
codex.smallmap
codex.smtbackend
codex.stats
codex.syntax_tree
codex.terms
codex.tracelog
codex.treemap
codex.types
codex.union_find
codex.units
codex.utils
codex.while_ast
immutable_array
interface
ppx_while
type_parse_tree
val empty : Operator.Function_symbol.integer t
val unknown : level:int -> Operator.Function_symbol.integer t
type integer = Operator.Function_symbol.integer t
type boolean = Operator.Function_symbol.boolean t
val itimes : Z.t -> (integer, integer) Operator.Forward_Arity.ar1
val iadd : (integer, integer, integer) Operator.Forward_Arity.ar2
val imul : (integer, integer, integer) Operator.Forward_Arity.ar2
val idiv : (integer, integer, integer) Operator.Forward_Arity.ar2
val imod : (integer, integer, integer) Operator.Forward_Arity.ar2
val ishl : (integer, integer, integer) Operator.Forward_Arity.ar2
val ishr : (integer, integer, integer) Operator.Forward_Arity.ar2
val iand : (integer, integer, integer) Operator.Forward_Arity.ar2
val ior : (integer, integer, integer) Operator.Forward_Arity.ar2
val ixor : (integer, integer, integer) Operator.Forward_Arity.ar2
val isub : (integer, integer, integer) Operator.Forward_Arity.ar2
val ieq : (integer, integer, boolean) Operator.Forward_Arity.ar2
val ile : (integer, integer, boolean) Operator.Forward_Arity.ar2
val iconst : Z.t -> integer Operator.Forward_Arity.ar0
val zero : integer Operator.Forward_Arity.ar0
val one : integer Operator.Forward_Arity.ar0