Permalink
Find file
Fetching contributors…
Cannot retrieve contributors at this time
3 lines (2 sloc) 1.24 KB
<?xml version="1.0" encoding="UTF-8"?>
<bgf:grammar xmlns:bgf="http://planet-sl.org/bgf" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:rng="http://relaxng.org/ns/structure/1.0" xmlns:rnga="http://relaxng.org/ns/compatibility/annotations/1.0"><bgf:production><nonterminal>OperatorDeclaration</nonterminal><bgf:expression><nonterminal>FEConstant</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>BuiltInSort</nonterminal><bgf:expression><nonterminal>FiniteEnumeration</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>FiniteEnumeration.content</nonterminal><bgf:expression><star><bgf:expression><nonterminal>FEConstant</nonterminal></bgf:expression></star></bgf:expression></bgf:production><bgf:production><nonterminal>FiniteEnumeration</nonterminal><bgf:expression><selectable><selector>finiteenumeration</selector><bgf:expression><nonterminal>FiniteEnumeration.content</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>FEConstant</nonterminal><bgf:expression><selectable><selector>feconstant</selector><bgf:expression><nonterminal>OperatorDeclaration.content</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production></bgf:grammar>