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