what4: Don't annotate `{Nonce,}AppExpr`s#247

Draft

langston-barrett wants to merge 1 commit intomasterfrom lb/ann-nonce-app

+5-1

Commits on Dec 6, 2023

what4: Don't annotate {Nonce,}AppExprs
langston-barrett
committed