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