Cryptol.TypeCheck.Infer
inferModule
desugarLiteral
appTys
inferTyParam
checkTypeOfKind
inferE
checkE
expectSeq
expectTuple
expectRec
expectFin
expectFun
checkHasType
checkFun
smallest
checkP
inferP
inferMatch
inferCArm
inferBinds
guessType
simpMonoBind
generalize
checkMonoB
checkSigB
inferDs
tcPanic