module Decl.FunBind where

f 0 = 1
f x = x