cryptol-2.3.0: Cryptol: The Language of Cryptography

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

Cryptol.TypeCheck.Sanity

Description

 

Documentation

same :: Same a => a -> a -> Bool Source