Cryptol.TypeCheck.InferTypes

data VarType

data Goals

emptyGoals

nullGoals

fromGoals

insertGoal

data Goal

data HasGoal

data DelayedCt

data Solved

data Warning

data Error

data ConstraintSource

data TyFunName

cppKind

addTVarsDescs

ppUse