pub fn ident_name(&self, ident_id: &IdentId) -> String {
        self.ident_to_name
            .get(ident_id)
            .expect("ice: all ident ids should have names. This indicates a bug in the Resolver.")
            .clone()
    }
/// Returns the Identifier as a String
///
/// This is needed as the Environment needs to map variable names to witness indices
Returns the Identifier as a String
This is needed as the Environment needs to map variable names to witness indices
Returns the Identifier as a String This is needed as the Environment needs to map variable names to witness indices
pub fn ident_name(&self, ident_id: &IdentId) -> String {
        self.ident_to_name
            .get(ident_id)
            .expect("ice: all ident ids should have names. This indicates a bug in the Resolver.")
            .clone()
    }
pub fn ident_name ( & self , ident_id : & IdentId ) -> String { self . ident_to_name . get ( ident_id ) . expect ( " " ) . clone ( ) }
Returns the Identifier as a String
This is needed as the Environment needs to map variable names to witness indices
Returns the Identifier as a String This is needed as the Environment needs to map variable names to witness indices
&self
ident_id
&IdentId
&self
ident_id
&IdentId