/*
 * Interface for testing code that infers polytypes for programs 
 * in the simple functional programming language
 */

sig  poly_test.

accum_sig polyinfer, polytypes.

type  poly_test  string -> poly -> o.

