Skip to content

ValidationProofConsoleOutput module-attribute

ValidationProofConsoleOutput: TypeAlias = str