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