Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
introVars :: [FreeVarIdx] -> [FreeVarIdx] -> State Env Bool Source #
Add vars from both sigs to the context, accounting for level
tryAssignVar :: FreeVarIdx -> FreeVarIdx -> State Env Bool Source #
Identify var from one sig with var in other sig