Module dequeue_next_as

tasm_lib::verifier::vm_proof_iter

Module dequeue_next_as 

Source

Structsยง

DequeueNextAs
Reads a proof item of the supplied type from the ProofStream. Crashes Triton VM if the proof item is not of the expected type. Updates an internal pointer to the next proof item.