cryptol-3.0.0: Cryptol: The Language of Cryptography

Copyright | (c) 2015-2016 Galois Inc.
License | BSD3
Maintainer | cryptol@galois.com
Stability | provisional
Portability | portable
Safe Haskell | Safe-Inferred
Language | Haskell2010

Cryptol.TypeCheck.Solver.Numeric.Fin

Description

Simplification of `fin` constraints.

# Documentation

cryIsFin :: Ctxt -> Prop -> Solved Source #

cryIsFinType :: Ctxt -> Type -> Solved Source #