let f = fun f (x: int): int is
   if x < 20 then x else 20 fi end
in
   f 22
end;