Variable CoreLogicalOperatorTypeConst

CoreLogicalOperatorType: TUnion<
    [
        TLiteral<"not">,
        TLiteral<"and">,
        TLiteral<"or">,
        TLiteral<"implies">,
        TLiteral<"iff">,
    ],
> = ...