LangDef MkLangDef(object acc, object alph, object gexprs)
{
var accT = (FastToken)acc;
var alphT = (FastToken)alph;
var gexpr_list = (Cons <GuardedExp>)gexprs;
var lang = new LangDef(accT, alphT, null);
foreach (var gexpr in gexpr_list)
{
lang.AddCase(gexpr);
}
return(lang);
}