- Timestamp:
- Sep 22, 2011, 4:16:06 PM (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/joint/Joint.ma
r1252 r1254 99 99 (joint_if_code … p) (joint_if_entry … p) (joint_if_exit … p). 100 100 101 definition set_runiverse ≝ 102 λglobals,pars. 103 λp : joint_internal_function globals pars. 104 λruniverse: universe RegisterTag. 105 mk_joint_internal_function globals pars 106 (joint_if_luniverse … p) runiverse (joint_if_result … p) 107 (joint_if_params … p) (joint_if_locals … p) (joint_if_stacksize … p) 108 (joint_if_code … p) (joint_if_entry … p) (joint_if_exit … p). 109 101 110 (* Specialized for graph_params *) 102 111 definition add_graph ≝
Note: See TracChangeset
for help on using the changeset viewer.