AggregateDeclaration.invs

Array of invariants

class AggregateDeclaration
FuncDeclarations invs;

Meta