src/ResolvExpr/SatisfyAssertions.cpp
std::string pruneKey( const Candidate & cand ) {
		ast::ptr< ast::Type > resType = cand.expr->result;
		cand.env.apply( resType );
		return Mangle::mangle( resType, Mangle::typeMode() );
	}
/// Gets the pruning key for a candidate (derived from environment-adjusted return type)
Gets the pruning key for a candidate (derived from environment-adjusted return type)
Gets the pruning key for a candidate ( derived from environment - adjusted return type )
std::string pruneKey( const Candidate & cand ) {
		ast::ptr< ast::Type > resType = cand.expr->result;
		cand.env.apply( resType );
		return Mangle::mangle( resType, Mangle::typeMode() );
	}
std :: string pruneKey ( const Candidate & cand ) { ast :: ptr < ast :: Type > resType = cand . expr -> result ; cand . env . apply ( resType ) ; return Mangle :: mangle ( resType , Mangle :: typeMode ( ) ) ; }
Gets the pruning key for a candidate (derived from environment-adjusted return type)
Gets the pruning key for a candidate ( derived from environment - adjusted return type )