In Bison, one and only one nonterminal is designated as the “start”
symbol. In Semantic, one or more nonterminals can be designated as
the “start” symbol. They are declared following the
keyword separated by spaces. See (grammar-fw)start Decl.
%start keyword is used in a grammar, then the very first
is used. Internally the first start nonterminal is targeted by the
bovine-toplevel, so it can be found by the
To find locally defined variables, the local context handler needs to
parse the body of functional code. The
specifies the name of a nonterminal used as the goal to parse a local
context, See (grammar-fw)scopestart Decl. Internally the
scopestart nonterminal is targeted by the reserved symbol
bovine-inner-scope, so it can be found by the parser harness.