idris-0.12.2: test/layout001/layout001b.idr

f : Int -> Int
f x = z 1 + 1 where
  z : Int -> Int
  z y 
= y