source: Deliverables/D4.1/8051Series.ml @ 66

Last change on this file since 66 was 66, checked in by mulligan, 9 years ago

Bytes mostly finished.

File size: 337 bytes
Line 
1open "Bit.ml";;
2open "Nibble.ml";;
3open "Byte.ml";;
4open "Byte7.ml";;
5open "Word.ml";;
6
7module type 8051_SERIES =
8sig
9  type bit
10  type nibble
11  type byte
12  type byte7
13  type word
14
15  type processor_status
16
17  type asm_instruction
18  type program = asm_instruction list
19  type bit_instruction = byte
20
21  val power_up: processor_status
22end;;
Note: See TracBrowser for help on using the repository browser.