module InfSet where

import InfSetDef

union :: Ord a => [a] -> [a] -> [a]
union = error "TODO"

setBinOp :: (Ord a, Ord b, Ord c) => (a -> b -> c) -> [a] -> [b] -> [c]
setBinOp = error "TODO"

leaf :: SizedTree
leaf = error "TODO"

branch :: SizedTree -> SizedTree -> SizedTree
branch = error "TODO"

allSizedTrees :: [SizedTree]
allSizedTrees = error "TODO"