PAKCS
Exported names: Imported modules:

Module GenNF

Summary of exported operations:

genNFInstances :: Monad a => StateT State a ()   

Exported operations:

genNFInstances :: Monad a => StateT State a ()