Arm_mul (bap-arm.Arm

val lift_mull : 
  lodest:Arm_types.op ->
  hidest:Arm_types.op ->
  src1:Arm_types.op ->
  src2:Arm_types.op ->
  Arm_types.sign ->
  ?addend:'a ->
  wflag:Arm_types.op ->
  Arm_types.op ->
  Bap.Std.stmt list

val lift_smul : 
  dest:Arm_types.op ->
  ?hidest:Arm_types.op ->
  src1:Arm_types.op ->
  src2:Arm_types.op ->
  ?accum:Arm_types.op ->
  ?hiaccum:Arm_types.op ->
  ?q:bool ->
  Arm_types.smul_size ->
  Arm_types.op ->
  Bap.Std.stmt list