Framac_ival.Abstract_interp
Functors for generic lattices implementations. @plugin developer guide
Used by other modules e.g. Fval.subdiv_float_interval
.
module Comp : sig ... end
Signatures for comparison operators ==, !=, <, >, <=, >=
.
module Int : sig ... end
module Bool : sig ... end