Module Framac_ival.Abstract_interp

Functors for generic lattices implementations. @plugin developer guide

exception Error_Top

Raised by some functions when encountering a top value.

exception Error_Bottom

Raised by Lattice_Base.project.

exception Not_less_than

Raised by Lattice.cardinal_less_than.

exception Can_not_subdiv

Used by other modules e.g. Fval.subdiv_float_interval.

type truth =

1. | True
2. | False
3. | Unknown
   (*

   Truth values with a possibility for 'Unknown'

   *)

val inv_truth : truth -> truth

module Comp : sig ... end

Signatures for comparison operators ==, !=, <, >, <=, >=.

module Int : sig ... end

module Bool : sig ... end