proposit-core
    Preparing search index...

    Variable CoreClaimTypeSchemaConst

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