FuncDeclaration.addPostInvariant

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

Meta