Module Framac_ival.Abstract_interpSource

Functors for generic lattices implementations. @plugin developer guide

Sourceexception Error_Top

Raised by some functions when encountering a top value.

Sourceexception Error_Bottom

Raised by Lattice_Base.project.

Sourceexception Not_less_than

Raised by Lattice.cardinal_less_than.

Sourceexception Can_not_subdiv

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

Sourcetype truth =
  1. | True
  2. | False
  3. | Unknown
    (*

    Truth values with a possibility for 'Unknown'

    *)
Sourceval inv_truth : truth -> truth
Sourcemodule Comp : sig ... end

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

Sourcemodule Int : sig ... end
Sourcemodule Bool : sig ... end