Bugfix to be resilient against partial applications in spec code, which we don't extract anyhow
Bugfix to be resilient against partial applications in spec code, which we don't extract anyhow

FStarLang/kremlin,FStarLang/kremlin,FStarLang/kremlin,FStarLang/kremlin