1//! Chained document query proof verification — the verifier half of the 2//! provable semi-join in 3//! [`chained_document_query`](crate::query::chained_document_query). 4 5mod verify_chained_documents_proof;