/* * Interface to a tester for a tail recursion recognizer for functions * of two arguments */ sig tr1_test. accum_sig fp_types, fp_vocab. exportdef test int -> o.
/* * Interface to a tester for a tail recursion recognizer for functions * of two arguments */ sig tr1_test. accum_sig fp_types, fp_vocab. exportdef test int -> o.