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