pub fn to_key(self) -> Result<VerificationKey, VMError> {
        match self {
            Predicate::Key(k) => Ok(k),
            _ => Err(VMError::TypeNotKey),
        }
    }
/// Downcasts the predicate to a verification key
Downcasts the predicate to a verification key
Downcasts the predicate to a verification key
pub fn to_key(self) -> Result<VerificationKey, VMError> {
        match self {
            Predicate::Key(k) => Ok(k),
            _ => Err(VMError::TypeNotKey),
        }
    }
pub fn to_key ( self ) -> Result < VerificationKey , VMError > { match self { Predicate :: Key ( k ) => Ok ( k ) , _ => Err ( VMError :: TypeNotKey ) , } }
Downcasts the predicate to a verification key
Downcasts the predicate to a verification key
self
self