module Medium:sig
..end
module S:sig
..end
module PP:Lattice.Boolean
(
Lattice.Base.S
)
module CA:Lattice.Boolean
(
S
)
include struct ... end
typeannotation =
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