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 HeapRhs

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