Changeset 2674 for src/ERTLptr/ERTLptr.ma
- Timestamp:
- Feb 18, 2013, 5:48:19 PM (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ERTLptr/ERTLptr.ma
r2645 r2674 20 20 (* call_dest ≝ *) unit 21 21 (* ext_seq ≝ *) ertlptr_seq 22 (* ext_seq_labels ≝ *) (λ_.[]) 22 (* ext_seq_labels ≝ *) 23 (λs.match s with [ LOW_ADDRESS _ l ⇒ [l] | HIGH_ADDRESS _ l ⇒ [l] | _ ⇒ [ ]]) 23 24 (* has_tailcall ≝ *) false 24 25 (* paramsT ≝ *) ℕ.
Note: See TracChangeset
for help on using the changeset viewer.