Cubicle 1.1.2 documentation and source : Types.mult

let mult_const a =
  MConst.map (fun i -> i * a)