source: src/common/Registers.ma @ 2603

Last change on this file since 2603 was 2603, checked in by piccolo, 7 years ago

Dead code commented out.

File size: 450 bytes
Line 
1
2(* NB: this is essentially the same as Graphs! *)
3
4(*include "ASM/BitVectorTrie.ma".*)
5include "common/Identifiers.ma".
6(*include "ASM/I8051.ma".*)
7include "common/Order.ma".
8
9axiom RegisterTag : String.
10
11definition register ≝ identifier RegisterTag.
12
13definition register_eq : ∀x,y:register. (x=y) + (x≠y) ≝ identifier_eq ?.
14
15definition register_env ≝ identifier_map RegisterTag.
16
17(*
18axiom register_ord: register → register → order.
19*)
Note: See TracBrowser for help on using the repository browser.