void register_SetAndElem ( ) { lf_8_recursivesym = ATmakeSymbol ( "prod([lit(\"set\"),cf(opt(layout)),lit(\"(\"),cf(opt(layout)),cf(iter-star-sep(sort(\"ID\"),lit(\";\"))),cf(opt(layout)),lit(\")\")],cf(iter-star-sep(sort(\"ID\"),lit(\";\"))),attrs([term(\"cons\"(\"sepset\"))]))" , 1 , ATtrue ) ; ATprotectSymbol ( lf_8_recursivesym ) ; lf_5_recursivesym = ATmakeSymbol ( "prod([lit(\"set\"),cf(opt(layout)),lit(\"(\"),cf(opt(layout)),cf(iter-star(sort(\"ID\"))),cf(opt(layout)),lit(\")\")],cf(iter-star(sort(\"ID\"))),attrs([term(\"cons\"(\"set\"))]))" , 1 , ATtrue ) ; ATprotectSymbol ( lf_5_recursivesym ) ; lf_list_1sym = ATmakeSymbol ( "list(cf(iter-star(sort(\"ID\"))))" , 1 , ATtrue ) ; ATprotectSymbol ( lf_list_1sym ) ; lf_2sym = ATmakeSymbol ( "prod([lit(\"elem\"),cf(opt(layout)),lit(\"(\"),cf(opt(layout)),cf(sort(\"ID\")),cf(opt(layout)),lit(\",\"),cf(opt(layout)),cf(iter-star(sort(\"ID\"))),cf(opt(layout)),lit(\")\")],cf(sort(\"BOOL\")),attrs([term(\"cons\"(\"elem\"))]))" , 2 , ATtrue ) ; ATprotectSymbol ( lf_2sym ) ; lf_3sym = ATmakeSymbol ( "prod([lit(\"true\")],cf(sort(\"BOOL\")),no-attrs)" , 0 , ATtrue ) ; ATprotectSymbol ( lf_3sym ) ; lf_4sym = ATmakeSymbol ( "prod([lit(\"false\")],cf(sort(\"BOOL\")),no-attrs)" , 0 , ATtrue ) ; ATprotectSymbol ( lf_4sym ) ; lf_5sym = ATmakeSymbol ( "prod([lit(\"set\"),cf(opt(layout)),lit(\"(\"),cf(opt(layout)),cf(iter-star(sort(\"ID\"))),cf(opt(layout)),lit(\")\")],cf(iter-star(sort(\"ID\"))),attrs([term(\"cons\"(\"set\"))]))" , 1 , ATtrue ) ; ATprotectSymbol ( lf_5sym ) ; lf_list_6sym = ATmakeSymbol ( "list(cf(iter-star-sep(sort(\"ID\"),lit(\";\"))))" , 1 , ATtrue ) ; ATprotectSymbol ( lf_list_6sym ) ; lf_7sym = ATmakeSymbol ( "prod([lit(\"elem\"),cf(opt(layout)),lit(\"(\"),cf(opt(layout)),cf(sort(\"ID\")),cf(opt(layout)),lit(\",\"),cf(opt(layout)),cf(iter-star-sep(sort(\"ID\"),lit(\";\"))),cf(opt(layout)),lit(\")\")],cf(sort(\"BOOL\")),attrs([term(\"cons\"(\"sepelem\"))]))" , 2 , ATtrue ) ; ATprotectSymbol ( lf_7sym ) ; lf_8sym = ATmakeSymbol ( "prod([lit(\"set\"),cf(opt(layout)),lit(\"(\"),cf(opt(layout)),cf(iter-star-sep(sort(\"ID\"),lit(\";\"))),cf(opt(layout)),lit(\")\")],cf(iter-star-sep(sort(\"ID\"),lit(\";\"))),attrs([term(\"cons\"(\"sepset\"))]))" , 1 , ATtrue ) ; ATprotectSymbol ( lf_8sym ) ; register_prod ( ATparse ( "list(cf(iter-star(sort(\"ID\"))))" ) , lf_list_1 , lf_list_1sym ) ; register_prod ( ATparse ( "prod([lit(\"elem\"),cf(opt(layout)),lit(\"(\"),cf(opt(layout)),cf(sort(\"ID\")),cf(opt(layout)),lit(\",\"),cf(opt(layout)),cf(iter-star(sort(\"ID\"))),cf(opt(layout)),lit(\")\")],cf(sort(\"BOOL\")),attrs([term(\"cons\"(\"elem\"))]))" ) , lf_2 , lf_2sym ) ; register_prod ( ATparse ( "prod([lit(\"true\")],cf(sort(\"BOOL\")),no-attrs)" ) , lf_3 , lf_3sym ) ; register_prod ( ATparse ( "prod([lit(\"false\")],cf(sort(\"BOOL\")),no-attrs)" ) , lf_4 , lf_4sym ) ; register_prod ( ATparse ( "prod([lit(\"set\"),cf(opt(layout)),lit(\"(\"),cf(opt(layout)),cf(iter-star(sort(\"ID\"))),cf(opt(layout)),lit(\")\")],cf(iter-star(sort(\"ID\"))),attrs([term(\"cons\"(\"set\"))]))" ) , lf_5 , lf_5sym ) ; register_prod ( ATparse ( "prod([lit(\"set\"),cf(opt(layout)),lit(\"(\"),cf(opt(layout)),cf(iter-star(sort(\"ID\"))),cf(opt(layout)),lit(\")\")],cf(iter-star(sort(\"ID\"))),attrs([term(\"cons\"(\"set\"))]))" ) , lf_5_recursive , lf_5_recursivesym ) ; register_prod ( ATparse ( "list(cf(iter-star-sep(sort(\"ID\"),lit(\";\"))))" ) , lf_list_6 , lf_list_6sym ) ; register_prod ( ATparse ( "prod([lit(\"elem\"),cf(opt(layout)),lit(\"(\"),cf(opt(layout)),cf(sort(\"ID\")),cf(opt(layout)),lit(\",\"),cf(opt(layout)),cf(iter-star-sep(sort(\"ID\"),lit(\";\"))),cf(opt(layout)),lit(\")\")],cf(sort(\"BOOL\")),attrs([term(\"cons\"(\"sepelem\"))]))" ) , lf_7 , lf_7sym ) ; register_prod ( ATparse ( "prod([lit(\"set\"),cf(opt(layout)),lit(\"(\"),cf(opt(layout)),cf(iter-star-sep(sort(\"ID\"),lit(\";\"))),cf(opt(layout)),lit(\")\")],cf(iter-star-sep(sort(\"ID\"),lit(\";\"))),attrs([term(\"cons\"(\"sepset\"))]))" ) , lf_8 , lf_8sym ) ; register_prod ( ATparse ( "prod([lit(\"set\"),cf(opt(layout)),lit(\"(\"),cf(opt(layout)),cf(iter-star-sep(sort(\"ID\"),lit(\";\"))),cf(opt(layout)),lit(\")\")],cf(iter-star-sep(sort(\"ID\"),lit(\";\"))),attrs([term(\"cons\"(\"sepset\"))]))" ) , lf_8_recursive , lf_8_recursivesym ) ; }
void register_OutermostList ( ) { lf_list_1sym = ATmakeSymbol ( "list(cf(iter-star(sort(\"ID\"))))" , 1 , ATtrue ) ; ATprotectSymbol ( lf_list_1sym ) ; register_prod ( ATparse ( "list(cf(iter-star(sort(\"ID\"))))" ) , lf_list_1 , lf_list_1sym ) ; }
static void init_module_constructors (void) { sym_Nil_0 = ATmakeSymbol("Nil", 0, ATfalse); ATprotectSymbol(sym_Nil_0); }