type intel_hex_format

val int_of_vect : Extracted.BitVector.bitVector -> int

val string_of_intel_hex_format: intel_hex_format -> string

val pack_exported_code_memory: int -> int -> Extracted.BitVector.byte Extracted.BitVectorTrie.bitVectorTrie -> intel_hex_format