idris-0.12.2: test/layout001/layout001l.idr

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