liquidhaskell-0.8.10.1: tests/import/lib/FunClashLib.hs

module FunClashLib (blob) where

import FunClashLibLib 

{-@ blob :: Nat -> Nat @-} 
blob :: Int -> Int 
blob = incr