Module Lattice.Medium


module Medium: S 

include Abstract_interp.Lattice
type annotation = string 
val possible_annotations : annotation list
val annotations2state : t -> annotation list -> t
annotations2state dft l returns the state corresponding to the given annotations. Return dft if there is no annotation.
val constant : t
State for a constant.
val variable : t
Default state for a variable.
val use_ctrl_dependencies : bool
Are control dependencies relevant?