Module BCHARMDictionary

val arm_dictionary : BCHARMTypes.arm_dictionary_int