module Origin: sig
.. end
type
origin =
| |
Misalign_read of Abstract_interp.LocationSetLattice.t |
| |
Leaf of Abstract_interp.LocationSetLattice.t |
| |
Merge of Abstract_interp.LocationSetLattice.t |
| |
Arith of Abstract_interp.LocationSetLattice.t |
| |
Well |
| |
Unknown |
val equal : origin -> origin -> bool
val compare : origin -> origin -> int
val pretty : Format.formatter -> origin -> unit
val hash : origin -> int
include struct ... end
val top : origin
val is_top : t -> bool
val bottom : origin
val join : origin -> origin -> origin
val meet : origin -> origin -> origin
val is_included : t -> t -> bool
val is_included_exn : t -> t -> unit
val narrow : 'a -> 'b -> 'a