cryptol-2.8.0: Cryptol: The Language of Cryptography

Copyright(c) 2015-2016 Galois Inc.
LicenseBSD3
Maintainercryptol@galois.com
Stabilityprovisional
Portabilityportable
Safe HaskellSafe
LanguageHaskell2010

Cryptol.TypeCheck.Solver.Numeric.Fin

Description

Simplification of fin constraints.

Documentation

cryIsFin :: Map TVar Interval -> Prop -> Solved Source #

cryIsFinType :: Map TVar Interval -> Type -> Solved Source #