source:
extracted/i8051bis.mli
@
2829
Last change on this file since 2829 was 2829, checked in by , 7 years ago | |
---|---|
File size: 211 bytes |
Line | |
---|---|
1 | open Preamble |
2 | |
3 | open Types |
4 | |
5 | open Bool |
6 | |
7 | open Relations |
8 | |
9 | open Nat |
10 | |
11 | open Hints_declaration |
12 | |
13 | open Core_notation |
14 | |
15 | open Pts |
16 | |
17 | open Logic |
18 | |
19 | open Positive |
20 | |
21 | open Z |
22 | |
23 | val internal_ram_size : Z.z |
24 | |
25 | val external_ram_size : Z.z |
26 |
Note: See TracBrowser
for help on using the repository browser.