SSTG-0.1.1.3: STG Symbolic Execution
SSTG.Core.Preprocessing
Description
Export Module for SSTG.Core.Preprocessing
module SSTG.Core.Preprocessing.Defunctionalization