Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
addConstraints :: SpecType -> CGEnv -> CGEnv Source
constraintToLogic :: CGEnv -> LConstraint -> Pred Source
subConstraintToLogicOne :: (Reftable r1, Reftable r) => [(Symbol, (Symbol, RType t t1 r))] -> (Symbol, (Symbol, RType t2 t3 r1)) -> Pred Source
combinations :: [[a]] -> [[a]] Source