proposit-core
    Preparing search index...

    Variable ParsedClaimRoleTypeConst

    ParsedClaimRoleType: TUnion<
        [TLiteral<"premise">, TLiteral<"conclusion">, TLiteral<"intermediate">],
    > = ...