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

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

DJNZ instruction finished.

File size: 412 bytes
RevLine 
[66]1open "Bit.ml";;
2open "Nibble.ml";;
3open "Byte.ml";;
4open "Byte7.ml";;
5open "Word.ml";;
[65]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
[67]16  type program_counter
[65]17
18  type asm_instruction
19  type program = asm_instruction list
20  type bit_instruction = byte
21
22  val power_up: processor_status
[67]23  val next: program_counter -> processor_status -> 
[65]24end;;
Note: See TracBrowser for help on using the repository browser.