Module Model.Make.L


module L: sig .. end
Extended Security Lattice

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