% This file was automatically generated by mclp 

sig lists.
accum_sig collp.

kind tuple type.
type nul tuple.
type new int -> tuple -> tuple.
type sqr int -> int.
type plus int -> int -> int.
type times int -> int -> int.
type size tuple -> int.
type mapfn (int -> int) -> tuple -> tuple.
type fold (int -> int -> int) -> tuple -> int.