RuleBodyElem Enumeration Reference


                    
                    
                    symbol(symbol:position:)

Undocumented

Swift

case symbol(symbol: IndexedSymbolName, position: Position)


                    
                    
                    assignment(left:right:position:)

Undocumented

Swift

case assignment(left: Term, right: Term, position: Position)


                    
                    
                    condition(cond:position:)

Undocumented

Swift

case condition(cond: Term, position: Position)