/*
 * Interface for testing code that checks for tail recursiveness 
 * of programs in the simple functional programming language
 */

sig  tr_test.

accum_sig tailrec.

type  tr_test  string -> tm  -> o.
