module L:Extended Security Latticesig
..end
include struct ... end
val filterAnnotations : Cil_types.attribute list -> S.annotation list
val attributes2state : S.t -> Cil_types.attribute list -> S.t
val type_attributes2state : S.t -> Cil_types.typ -> S.t
val defaultall : Base.t -> t
val default : Base.t -> 'a -> 'b -> t