impl/fs/bilby/proof/spec/FunBucket.hs - 3p/nicta/cogent - Git at Google

 module FunBucket (
   module FunBucket
 , module TypBucket
 ) where

 import TypBucket

 count :: [a] -> Int  -- 'b word
 count = length
	module FunBucket (
	module FunBucket
	, module TypBucket
	) where

	import TypBucket

	count :: [a] -> Int -- 'b word
	count = length