proposit-core
    Preparing search index...

    Variable CorePropositionalExpressionTypesConst

    CorePropositionalExpressionTypes: TUnion<
        [TLiteral<"variable">, TLiteral<"operator">, TLiteral<"formula">],
    > = ...