Parser.parseInvariantDecl

$(BNF InvariantDecl := invariant ("(" ")")? FunctionBody)

class Parser

Declaration

parseInvariantDecl

(

)

Meta

Source

See Implementation

dil parser Parser Parser aliases

constructors

this

enums

PREC

functions

static functions

variables