sesaparcours
    Preparing search index...

    Type Alias AssumeResult

    AssumeResult:
        | "internal-error"
        | "not-a-predicate"
        | "contradiction"
        | "tautology"
        | "ok"