Skip to content

ValidationProofSummary module-attribute

ValidationProofSummary: TypeAlias = str