src/ResolvExpr/ResolveAssertions.cc
std::string pruneKey( const Alternative & alt ) {
		Type* resType = alt.expr->result->clone();
		alt.env.apply( resType );
		std::string resKey = SymTab::Mangler::mangleType( resType );
		delete resType;
		return resKey;
	}
/// Gets the pruning key for an alternative
Gets the pruning key for an alternative
Gets the pruning key for an alternative
std::string pruneKey( const Alternative & alt ) {
		Type* resType = alt.expr->result->clone();
		alt.env.apply( resType );
		std::string resKey = SymTab::Mangler::mangleType( resType );
		delete resType;
		return resKey;
	}
std :: string pruneKey ( const Alternative & alt ) { Type * resType = alt . expr -> result -> clone ( ) ; alt . env . apply ( resType ) ; std :: string resKey = SymTab :: Mangler :: mangleType ( resType ) ; delete resType ; return resKey ; }
Gets the pruning key for an alternative
Gets the pruning key for an alternative