BCHTranslateARMToCHIFval translate_arm_instruction :
funloc:BCHLibTypes.location_int ->
codepc:BCHARMTypes.arm_code_pc_int ->
blocklabel:CHLanguage.symbol_t ->
cmds:BCHLibTypes.cmd_t list ->
(CHLanguage.symbol_t * (CHOnlineCodeSet.code_t, 'a) CHLanguage.command_t list)
list
* (CHLanguage.symbol_t * CHLanguage.symbol_t) list
* BCHLibTypes.cmd_t listval translate_arm_assembly_function :
BCHARMTypes.arm_assembly_function_int ->
unit