src/ResolvExpr/Resolver.cc
void findKindExpression(Expression *& untyped, const SymTab::Indexer & indexer, const std::string & kindStr, std::function<bool(const Alternative &)> pred, ResolvMode mode = ResolvMode{}) {
			if ( ! untyped ) return;
			Alternative choice;
			findUnfinishedKindExpression( untyped, choice, indexer, kindStr, pred, mode );
			finishExpr( choice.expr, choice.env, untyped->env );
			delete untyped;
			untyped = choice.expr;
			choice.expr = nullptr;
		}
/// resolve `untyped` to the expression whose alternative satisfies `pred` with the lowest cost; kindStr is used for providing better error messages
resolve `untyped` to the expression whose alternative satisfies `pred` with the lowest cost; kindStr is used for providing better error messages
resolve ` untyped ` to the expression whose alternative satisfies ` pred ` with the lowest cost ; kindStr is used for providing better error messages
void findKindExpression(Expression *& untyped, const SymTab::Indexer & indexer, const std::string & kindStr, std::function<bool(const Alternative &)> pred, ResolvMode mode = ResolvMode{}) {
			if ( ! untyped ) return;
			Alternative choice;
			findUnfinishedKindExpression( untyped, choice, indexer, kindStr, pred, mode );
			finishExpr( choice.expr, choice.env, untyped->env );
			delete untyped;
			untyped = choice.expr;
			choice.expr = nullptr;
		}
void findKindExpression ( Expression * & untyped , const SymTab :: Indexer & indexer , const std :: string & kindStr , std :: function < bool ( const Alternative & ) > pred , ResolvMode mode = ResolvMode { } ) { if ( ! untyped ) return ; Alternative choice ; findUnfinishedKindExpression ( untyped , choice , indexer , kindStr , pred , mode ) ; finishExpr ( choice . expr , choice . env , untyped -> env ) ; delete untyped ; untyped = choice . expr ; choice . expr = nullptr ; }
resolve `untyped` to the expression whose alternative satisfies `pred` with the lowest cost; kindStr is used for providing better error messages
resolve ` untyped ` to the expression whose alternative satisfies ` pred ` with the lowest cost ; kindStr is used for providing better error messages