Cryptol.TypeCheck.Unify

type MGU

data Result a

data UnificationError

uniError

emptyMGU

mgu

mguMany

bindVar