frama-c.kernel
Frama_c_kernel.Int_Base
Pdg_types
crowbar_utils
frama-c-acsl-importer.core
frama-c-alias.core
frama-c-aorai.core
frama-c-api_generator.core
frama-c-callgraph.core
frama-c-constant_propagation.core
frama-c-dive.core
frama-c-e-acsl.core
frama-c-eva.core
frama-c-eva.numerors
frama-c-eva.server_api
frama-c-from.core
frama-c-impact.core
frama-c-inout.core
frama-c-instantiate.core
frama-c-loop-analysis.core
frama-c-markdown-report.core
frama-c-markdown-report.eva-info
frama-c-metrics.core
frama-c-nonterm.core
frama-c-obfuscator.core
frama-c-occurrence.core
frama-c-pdg.core
frama-c-pdg.types
frama-c-reduc.core
frama-c-region.core
frama-c-report.core
frama-c-rtegen.core
frama-c-scope.core
frama-c-security_slicing.core
frama-c-server.core
frama-c-slicing.core
frama-c-sparecode.core
frama-c-studia.core
frama-c-volatile.core
frama-c-wp.core
frama-c.analysis-scripts
frama-c.boot
frama-c.fc_internal_z
frama-c.init
markdown_report_eva_info
numerors
ppx_z_literals
qed
type i = Z_or_top.t
type t = Z_or_top.t
val ty : Z_or_top.t Type.t
val datatype_name : string
val datatype_descr : Z_or_top.t Descr.t
val packed_descr : Structural_descr.pack
val reprs : Z_or_top.t list
val equal : Z_or_top.t -> Z_or_top.t -> bool
val compare : Z_or_top.t -> Z_or_top.t -> int
val hash : Z_or_top.t -> int
val pretty : Format.formatter -> Z_or_top.t -> unit
val mem_project : (Project_skeleton.t -> bool) -> Z_or_top.t -> bool
val copy : Z_or_top.t -> Z_or_top.t
val zero : Z_or_top.t
val one : Z_or_top.t
val minus_one : Z_or_top.t
val top : Z_or_top.t
val neg : Z_or_top.t -> Z_or_top.t
val is_zero : Z_or_top.t -> bool
val is_top : Z_or_top.t -> bool
val inject : Z.t -> Z_or_top.t
val project : Z_or_top.t -> Z.t
Error_Top
if the argument is Top.
Top
val cardinal_zero_or_one : Z_or_top.t -> bool