InvariantDeclaration.addPostInvariant

Undocumented in source. Be warned that the author may not have intended to support it.
class InvariantDeclaration
override
bool
addPostInvariant
()

Meta