// Generated file; do not edit. See https://github.com/stencila/stencila/tree/main/rust/schema-gen
/**
* The type of a `Claim`.
*/
exporttype ClaimType =
'Statement' |
'Theorem' |
'Lemma' |
'Proof' |
'Postulate' |
'Hypothesis' |
'Proposition' |
'Corollary';