Changeset 816 for src/RTLabs/syntax.ma
- Timestamp:
- May 19, 2011, 3:06:42 PM (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/RTLabs/syntax.ma
r765 r816 45 45 | St_load : memory_chunk → ∀m:addressing. addr m → register → label → statement 46 46 | St_store : memory_chunk → ∀m:addressing. addr m → register → label → statement 47 | St_call_id : ident → list register → option register → signature →label → statement48 | St_call_ptr : register → list register → option register → signature →label → statement49 | St_tailcall_id : ident → list register → s ignature → statement50 | St_tailcall_ptr : register → list register → s ignature → statement47 | St_call_id : ident → list register → option register → label → statement 48 | St_call_ptr : register → list register → option register → label → statement 49 | St_tailcall_id : ident → list register → statement 50 | St_tailcall_ptr : register → list register → statement 51 51 (* Um, what? *) 52 52 | St_condcst : constant → label → label → statement
Note: See TracChangeset
for help on using the changeset viewer.