Module Origin


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