implementation module exp;
type T = integer;
end exp.