proposit-core
    Preparing search index...

    Type Alias TExpressionInput<TExpr>

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

    Type Parameters