File : reps-ops.adb

package body Reps.Ops is

  function "*"(N: Integer; R: Rep) return Rep is
  begin
    return Rep(N)*R;
  end "*";

  function "/"(N: Integer; R: Rep) return Rep is
  begin
    return Rep(N)/R;
  end "/";

  function "/"(R: Rep; N: Integer) return Rep is
  begin
    return R/Rep(N);
  end "/";

  function Sqr(R: Rep) return Rep is
  begin
    return R*R;
  end Sqr;

end Reps.Ops;