module Origin: sig
.. end
Undocumented.
Do not use this module if you don't know what you are doing.
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 |
include Datatype.S
val top : t
val is_top : t -> bool
val bottom : t
val join : t -> t -> t
val meet : t -> t -> t
val narrow : t -> t -> t
val is_included : t -> t -> bool
val is_included_exn : t -> t -> unit