Safe Haskell | None |
---|---|
Language | Haskell2010 |
Find safety condition 2 for all statements.
Documentation
findSafetyCondition2FunDef :: FunDef ExplicitMemory -> AllocatedBlocksBeforeCreation Source #
Safe Haskell | None |
---|---|
Language | Haskell2010 |
Find safety condition 2 for all statements.
findSafetyCondition2FunDef :: FunDef ExplicitMemory -> AllocatedBlocksBeforeCreation Source #