source: driver/IntelHex.mli @ 3000

Last change on this file since 3000 was 2856, checked in by sacerdot, 7 years ago

Pretty printing of LTL almost finished.

File size: 267 bytes
RevLine 
[2778]1type intel_hex_format
2
[2856]3val int_of_vect : Extracted.BitVector.bitVector -> int
4
[2778]5val string_of_intel_hex_format: intel_hex_format -> string
[2856]6
[2778]7val pack_exported_code_memory: int -> int -> Extracted.BitVector.byte Extracted.BitVectorTrie.bitVectorTrie -> intel_hex_format
Note: See TracBrowser for help on using the repository browser.