path: root/testsuite/tests/simplCore/should_compile/T20200KG.hs

module T20200KG where

import T20200KGa

checkpointSubstitution :: a
checkpointSubstitution = undefined

getVarInfo :: Open Int -> Maybe Int
getVarInfo = getOpen