Previous
Up
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.