Cryptol.TypeCheck.Defaulting

tryDefault

tryDefaultWith

defaultExpr