Module cuneiform_preproc

visit_cnd(Cnd, EIf, DefLstThen, EThen, DefLstElse, EElse) -> e()

• Cnd = {cnd, L::pos_integer(), term()}
• EIf = e()
• DefLstThen = [assign()]
• EThen = e()
• DefLstElse = [assign()]
• EElse = e()

visit_fold(Fold, Id, T, E, From, DefLst, EBody) -> e()

• Fold = {fold, L::pos_integer(), term()}
• Id = {id, term(), S::string()}
• T = t()
• E = e()
• From = typed_bind()
• DefLst = [assign()]
• EBody = e()

visit_for(For, FromLst, DefLst, E, TRet) -> e()

• For = {for, L::pos_integer(), term()}
• FromLst = [typed_bind()]
• DefLst = [assign()]
• E = e()
• TRet = t()

visit_from(Id, T, E) -> typed_bind()

• Id = {id, term(), S::string()}
• T = t()
• E = e()