Changeset 3041
- Timestamp:
- Mar 29, 2013, 6:18:38 PM (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/joint/Traces.ma
r3014 r3041 16 16 definition joint_make_global : ∀p : prog_params.evaluation_params (prog_spars p) ≝ 17 17 λp.mk_evaluation_params ? 18 (prog_ var_names … (prog p))18 (prog_names … (prog p)) 19 19 (joint_globalenv p (prog p) (stack_sizes p)). 20 20
Note: See TracChangeset
for help on using the changeset viewer.