Dpfs.SimpCnf
Synopsis
class Ord a => Fresh a
Instances
fastcnfInt :: (Ord a, Fresh a, Show a) => Pexpr a -> Pexpr a
Add documentation here
pcnf :: (Ord a, Show a) => Pexpr a -> Pexpr a