pub fn can_be_used_in_constrain(&self) -> bool {
        matches!(
            self,
            Type::FieldElement(_) | Type::Integer(_, _, _) | Type::Array(_, _, _)
        )
    }
// Returns true if the Type can be used in a Constrain statement
Returns true if the Type can be used in a Constrain statement
Returns true if the Type can be used in a Constrain statement
pub fn can_be_used_in_constrain(&self) -> bool {
        matches!(
            self,
            Type::FieldElement(_) | Type::Integer(_, _, _) | Type::Array(_, _, _)
        )
    }
pub fn can_be_used_in_constrain ( & self ) -> bool { matches ! ( self Type FieldElement ( ) Type Integer ( ) Type Array ( ) ) }
Returns true if the Type can be used in a Constrain statement
Returns true if the Type can be used in a Constrain statement
&self
&self