Arm_mov (bap-arm.Arm

val lift : 
  ?encoding:Bap_core_theory.Theory.language ->
  ?dest:Arm_types.op ->
  Arm_types.op ->
  ?src2:Arm_types.op ->
  Arm_types.data_oper ->
  ?sreg:Arm_types.op ->
  ?simm:Arm_types.op ->
  Bap.Std.word ->
  wflag:Arm_types.op ->
  Arm_types.op ->
  Bap.Std.stmt list