pub fn merkle_rt_cred<CS: ConstraintSystem<bls12_381::Scalar>>(
    cs: CS,
    cm: &AllocatedNum<bls12_381::Scalar>,
    witness: Option<&MerkleWitness>,
) -> Result<(AllocatedNum<bls12_381::Scalar>, Vec<Boolean>), SynthesisError> {
    merkle_rt(cs, TreeType::Credential, CREDENTIAL_MT_DEPTH, cm, witness)
}
/// Compute the Merkle root and position of `cm` in the Credential Merkle tree, given `witness`.
/// Returns a tuple of the root and the position.
Compute the Merkle root and position of `cm` in the Credential Merkle tree, given `witness`.
Returns a tuple of the root and the position.
Compute the Merkle root and position of ` cm ` in the Credential Merkle tree given ` witness ` . Returns a tuple of the root and the position .
pub fn merkle_rt_cred<CS: ConstraintSystem<bls12_381::Scalar>>(
    cs: CS,
    cm: &AllocatedNum<bls12_381::Scalar>,
    witness: Option<&MerkleWitness>,
) -> Result<(AllocatedNum<bls12_381::Scalar>, Vec<Boolean>), SynthesisError> {
    merkle_rt(cs, TreeType::Credential, CREDENTIAL_MT_DEPTH, cm, witness)
}
pub fn merkle_rt_cred < CS : ConstraintSystem < bls12_381 :: Scalar > > ( cs : CS , cm : & AllocatedNum < bls12_381 :: Scalar > , witness : Option < & MerkleWitness > , ) -> Result < ( AllocatedNum < bls12_381 :: Scalar > , Vec < Boolean > ) , SynthesisError > { merkle_rt ( cs , TreeType :: Credential , CREDENTIAL_MT_DEPTH , cm , witness ) }
Compute the Merkle root and position of `cm` in the Credential Merkle tree, given `witness`.
Compute the Merkle root and position of ` cm ` in the Credential Merkle tree given ` witness ` .
cs
CS
cm
&AllocatedNum<bls12_381::Scalar>
witness
Option<&MerkleWitness>
cs
CS
cm
&AllocatedNum<bls12_381::Scalar>
witness
Option<&MerkleWitness>