Safe Haskell | None |
---|---|
Language | Haskell2010 |
Find all variable-to-memory mappings, so that other modules can lookup the relation. Maps array names to memory blocks.
Synopsis
Documentation
findVarMemMappings :: FunDef ExplicitMemory -> VarMemMappings MemorySrc Source #
Find all variable-memory block mappings in a function definition.