*$MST_FROM_ENTRY;

*$MATCHING ForRepeatedSpecialization ;

*$STRATEGY Applicative ;
/*
$ENTRY Go {
 = <Prout <Go e.1 >> ;
}
*/

***
/*
*  InputFormat: <Go e.41 >
*  OutputFormat: ==> e.0 
*/


$ENTRY Go {
 (('xs -> empty') ('q -> A')) () 'A' =  'A';
 (('xs -> A xs') ('xs -> empty')) (('q -> A')) 'A' =  'A';
 (('xs -> A xs') ('xs -> t xs') e.101) (e.102) s.103 =  'A';
}

****************************** The End ************************************