pub fn to_constraint(self) -> Result<Constraint, VMError> {
        match self {
            Item::Constraint(c) => Ok(c),
            _ => Err(VMError::TypeNotConstraint),
        }
    }
/// Downcasts item to `Constraint` type.
Downcasts item to `Constraint` type.
Downcasts item to ` Constraint ` type .
pub fn to_constraint(self) -> Result<Constraint, VMError> {
        match self {
            Item::Constraint(c) => Ok(c),
            _ => Err(VMError::TypeNotConstraint),
        }
    }
pub fn to_constraint ( self ) -> Result < Constraint , VMError > { match self { Item :: Constraint ( c ) => Ok ( c ) , _ => Err ( VMError :: TypeNotConstraint ) , } }
Downcasts item to `Constraint` type.
Downcasts item to ` Constraint ` type .
self
self