@Algorithm(lr, 1)

// This is an example of a 'mysterious' conflict: this grammar has a LALR conflict,
// that is resolved when using LR(1). 

Start: Parameters Return ,

Parameters: Type
	| NameList : Type
Return: Type
	| Name : Type

NameList: Name , NameList
	| Name
Name: ID
Type: ID

@example(ID ID ,)
//       Parameters        Return  ,
@example(ID , ID , ID : ID ID : ID ,)