Interface: SMTProofResult<TAdditional>

Defined in: smt-proof.ts:19

Result emitted by SMTProof.isValidBatch.

Type Parameters

TAdditional

TAdditional = unknown

Properties

additional

readonly additional: TAdditional | undefined

Defined in: smt-proof.ts:22

---

index

readonly index: bigint

Defined in: smt-proof.ts:20

---

valid

readonly valid: boolean

Defined in: smt-proof.ts:21