Keep naming hints consistent with unused type argument elimination
Keep naming hints consistent with unused type argument elimination

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