Type alias StatementProverQualifier

Union type for all statement prover qualifiers.

Generated using TypeDoc