Module Arm_instr_decl.E

val no_semantics : Utils0.error