Changeset 2985 for src/joint/joint_printer.ma
- Timestamp:
- Mar 27, 2013, 6:31:55 PM (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/joint/joint_printer.ma
r2983 r2985 104 104 ∀string. printing_pass_independent_params string → list string → string ≝ 105 105 λstring,pp. 106 fold l?? (print_concat … pp) (print_empty … pp).106 foldr ?? (print_concat … pp) (print_empty … pp). 107 107 108 108 definition print_joint_seq : … … 261 261 (λA.λf:code_point (lin_params_to_params …) → ?.λM:codeT lp globals. 262 262 λa. 263 \snd (fold r??264 (λ x.λres. let 〈pc,res'〉 ≝ res in 〈S pc,f pc x res'〉)263 \snd (foldl ?? 264 (λres,x. let 〈pc,res'〉 ≝ res in 〈S pc,f pc x res'〉) 265 265 〈0,a〉 M)) 266 266 (λlinstr.
Note: See TracChangeset
for help on using the changeset viewer.