InvariantDeclaration.addPreInvariant

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

Meta