Changeset 2952 for src/LIN/LIN.ma
- Timestamp:
- Mar 26, 2013, 2:01:15 PM (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/LIN/LIN.ma
r2946 r2952 34 34 let code ≝ 35 35 [〈None ?, sequential … (COST_LABEL LIN ? (init_cost_label … p)) it〉 ; 36 〈None ?, sequential … (CALL LIN ? (inl … (prog_main … p)) 4it) it〉 ;36 〈None ?, sequential … (CALL LIN ? (inl … (prog_main … p)) 0 it) it〉 ; 37 37 〈Some ? l3, GOTO ? l3〉 ] in 38 38 mk_joint_internal_function LIN (prog_var_names … p)
Note: See TracChangeset
for help on using the changeset viewer.