/* 
 * Interface to a collection of terms illustrating the encoding of
 * programs in a simple functional programming language
 */

sig examples.

accum_sig   pcf.

exportdef prog     string -> tm -> o.
