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.