Module Origin


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