NewDeclaration.addPreInvariant

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

Meta