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

Cryptol.TypeCheck.Unify

Description

 
Synopsis

Documentation

type MGU = (Subst, [Prop]) Source #

The most general unifier is a substitution and a set of constraints on bound variables.