% cintvex3.mini %
let
  f(x, y) = (x + y);
  g(x)    = f(x, x);
in
  g(1) ;;