let abc = "abc.l" in let repeat = { Stm.repeat : "repeat" Stm "until" "(" Exp ")" ";" ; } in idx(abc) + (| repeat -> abc [Stm -> Stm, Exp -> Exp] Stm.repeat : '{$1 while (!($2)) $1}' ; )|