Function removals_path_query 

pub fn removals_path_query(
    contract_id: Identifier,
    document_type_name: &str,
    document_ids: &[Identifier],
    left_to_right: bool,
) -> PathQuery

The removal records of document_ids within one document type of one contract, each proved present or absent: the removals query by ids (Drive::contract_document_removals_query), unlimited, as the by-ids fetch of the documents it sits beside is (the ids bound it), and walking in left_to_right so it merges with the components it is proven beside (its selection does not depend on the direction). The ids are queried in canonical byte order, so the prover and a verifier that collected them in any order build the same query.