Module Components.Components


module Components: sig .. end
Security component table: a security component is represented by the statement at which a security verification should occur. It is associated with the list of its statements.

val add : S.key -> Cil_datatype.Stmt.t -> unit
val find : S.key -> Datatype.List(Cil_datatype.Stmt).t
val self : Project.Computation.t
val fold_fold : ('a -> S.key -> 'b -> 'a) ->
('b -> Cil_datatype.Stmt.t -> 'b) -> 'a -> 'b -> 'a