Module Lattice.Medium


module Medium: sig .. end

module S: sig .. end
module PP: Lattice.Boolean(Lattice.Base.S)
module CA: Lattice.Boolean(S)
include struct ... end
type annotation = string 
val use_ctrl_dependencies : bool
val pub : PP.t
val priv : PP.t
val concr : CA.t
val abstr : CA.t
val possible_annotations : string list
val annotations2state : t -> string list -> t
val constant : t
val variable : t