/* * Interface to code for testing the predicate for recognizing * tail recursiveness of arbitrary arity functions */ sig tr2_test. accum_sig fp_types, fp_vocab, terms. kind name type. exportdef test int -> o. exportdef trm name -> tm -> o.
distrib
>
Mandriva
>
8.2
>
i586
>
media
>
contrib
>
by-pkgid
>
8a80864b07c5f16e9ba9be320c149cfa
>
files
>
58
