proposit-core
    Preparing search index...

    Type Alias TExpressionWithoutPosition<TExpr>

    TExpressionWithoutPosition: TExpr extends infer U
        ? U extends TCorePropositionalExpression
            ? Omit<
                U,
                "position"
                | "checksum"
                | "descendantChecksum"
                | "combinedChecksum",
            >
            : never
        : never

    Type Parameters