/* * Interface to a recognizer of valid program terms */ sig refl_syntax. accum_sig fp_types, fp_vocab. /* the definition of this predicate may need to be dynamically extended */ type term tm -> o.
distrib
>
Mandriva
>
8.2
>
i586
>
media
>
contrib
>
by-pkgid
>
8a80864b07c5f16e9ba9be320c149cfa
>
files
>
48
