static double ai_solveQuestionInSubSpace_defautTimeOut = 60; static S ai_solveQuestionInSubSpace(T3 seed, T3 lookingFor) { ret ai_solveQuestionInSubSpace(seed, lookingFor, ai_solveQuestionInSubSpace_defautTimeOut); } static S ai_solveQuestionInSubSpace(T3 seed, T3 lookingFor, double maxSeconds) { ret eitherAOpt(evalWithTimeout(func { ai_solveQuestionInSubSpace_noTimeOut(seed, lookingFor) }, maxSeconds)); }