pub fn new_primitive(token: SignatureToken) -> AbstractValue {
        checked_precondition!(
            match token {
                SignatureToken::Struct(_, _) => false,
                SignatureToken::Reference(_) => false,
                SignatureToken::MutableReference(_) => false,
                _ => true,
            },
            "AbstractValue::new_primitive must be applied with primitive type"
        );
        AbstractValue {
            token,
            kind: Kind::Unrestricted,
        }
    }
/// Create a new primitive `AbstractValue` given its type; the kind will be `Unrestricted`
Create a new primitive `AbstractValue` given its type; the kind will be `Unrestricted`
Create a new primitive ` AbstractValue ` given its type ; the kind will be ` Unrestricted `
pub fn new_primitive(token: SignatureToken) -> AbstractValue {
        checked_precondition!(
            match token {
                SignatureToken::Struct(_, _) => false,
                SignatureToken::Reference(_) => false,
                SignatureToken::MutableReference(_) => false,
                _ => true,
            },
            "AbstractValue::new_primitive must be applied with primitive type"
        );
        AbstractValue {
            token,
            kind: Kind::Unrestricted,
        }
    }
pub fn new_primitive ( token : SignatureToken ) -> AbstractValue { checked_precondition ! ( match token { SignatureToken Struct ( ) false SignatureToken Reference ( ) false SignatureToken MutableReference ( ) false true } " " ) ; AbstractValue { token , kind : Kind :: Unrestricted , } }
Create a new primitive `AbstractValue` given its type; the kind will be `Unrestricted`
Create a new primitive ` AbstractValue ` given its type ; the kind will be ` Unrestricted `
token
SignatureToken
token
SignatureToken