BCHTranslateARMToCHIFval translate_arm_instruction :
funloc:BCHLibTypes.location_int ->
codepc:BCHARMTypes.arm_code_pc_int ->
blocklabel:CHLanguage.symbol_t ->
cmdstate:BCHARMPredicatedFragment.cmdstate_t ->
(CHLanguage.symbol_t
* (CHOnlineCodeSet.code_t, CHLanguage.cfg_int) CHLanguage.command_t list)
list
* (CHLanguage.symbol_t * CHLanguage.symbol_t) list
* BCHARMPredicatedFragment.cmdstate_tval translate_arm_assembly_function :
BCHARMTypes.arm_assembly_function_int ->
unit