Preparing search index...

lib
ParsedClaimTypeType

Variable ParsedClaimTypeType`Const`

ParsedClaimTypeType: TUnion<
[TLiteral<"normal">, TLiteral<"citation">, TLiteral<"axiomatic">],
> = CoreClaimTypeSchema

Defined in src/lib/parsing/schemata.ts:12

Settings

Member Visibility

Protected
Inherited
External

Theme

Loading...

Generated using TypeDoc