source: Deliverables/D4.1/IntelHex.mli @ 123

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

IntelHex? file modified: string_of_intel_hex_entry implemented.

File size: 397 bytes
Line 
1open BitVectors;;
2open ASM;;
3
4type intel_hex_entry_type =
5    Data
6  | End
7  | ExtendedSeg
8  | ExtendedLinear
9
10type intel_hex_entry =
11{
12  record_length: byte * byte;
13  record_type: intel_hex_entry_type;
14  data_field: byte list;
15  data_checksum: byte * byte
16};;
17
18(* val intel_hex_of_instructions: instruction list -> intel_hex_entry list *)
19val string_of_intel_hex_entry: intel_hex_entry -> string
Note: See TracBrowser for help on using the repository browser.