SSTG.Core.Execution.Support

data SymbolicT s a

fmap

pure

(<*>)

return

(>>=)

data State

data Symbol

data Status

data Stack

data Frame

data MemAddr

data Val

data Locals

data Heap

data HeapObj

data Globals

data Code

data PathCons

data Constraint

null_addr

memAddrInt

init_status

incStatusSteps

updateStatusId

empty_stack

popStack

pushStack

stackToList

empty_locals

lookupLocals

insertLocalsVal

insertLocalsVals

localsToList

empty_heap

lookupHeap

insertHeapObj

insertHeapObjs

insertHeapRedir

allocHeapObj

allocHeapObjs

heapToList

empty_globals

lookupGlobals

insertGlobalsVal

insertGlobalsVals

globalsToList

empty_pathcons

insertPathCons

insertPathConss

pathConsToList

lookupVal

vlookupHeap

memAddrType