/* * Interface to code for recognizing tail recursiveness of two * argument functions */ sig tr_recognizer. accum_sig fp_types, fp_vocab. exportdef tl_rec tm -> o.
/* * Interface to code for recognizing tail recursiveness of two * argument functions */ sig tr_recognizer. accum_sig fp_types, fp_vocab. exportdef tl_rec tm -> o.