source: Deliverables/D4.1/physical.mli @ 27

Last change on this file since 27 was 27, checked in by sacerdot, 9 years ago

The 8051 instruction set (syntax only).

File size: 179 bytes
Line 
1type bit = bool
2type nibble = bit * bit * bit * bit
3type byte = nibble * nibble
4type byte7 = nibble * bit * bit * bit
5type word = byte * byte
6type word11 = byte * bit * bit * bit
Note: See TracBrowser for help on using the repository browser.