SSTG-0.1.1.6: STG Symbolic Execution
SSTG.Core.Preprocessing.Defunctionalization
Description
Defunctionalization
defunctionalize :: a Source #