cryptol-2.13.0: Cryptol: The Language of Cryptography
Copyright(c) 2013-2016 Galois Inc.
LicenseBSD3
Maintainercryptol@galois.com
Stabilityprovisional
Portabilityportable
Safe HaskellSafe
LanguageHaskell2010

Cryptol.TypeCheck.Solver.Selector

Description

 
Synopsis

Documentation

tryHasGoal Source #

Arguments

:: HasGoal 
-> InferM (Bool, Bool)

changes, solved

Solve has-constraints.