module Strong:S
include Abstract_interp.Lattice
typeannotation =
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
val variable : t
val use_ctrl_dependencies : bool