iyahoo

let op f e1 e2 = match (e1,e2) with
  | (IntLiteral x, IntLiteral y) -> f x y
  | (FloatLiteral x, FloatLiteral y) -> f x y
  | _ -> failwith "error"