Cryptol.TypeCheck.Infer

inferModule

mkPrim

desugarLiteral

appTys

inferTyParam

checkTypeOfKind

inferE

checkE

expectSeq

expectTuple

expectRec

expectFin

expectFun

checkHasType

checkFun

smallest

checkP

inferP

inferMatch

inferCArm

inferBinds

guessType

simpBind

generalize

checkMonoB

checkSigB

inferDs

tcPanic