Module Lattice.Base


module Base: sig .. end

module S: sig .. end
include struct ... end
type annotation = string 
val possible_annotations : string list
val pub : t
val priv : t
val annotations2state : t -> string list -> t
val constant : t
val variable : t