PowerPoint Presentation · 2012-09-06 · Fixpaint sub trans (t t ' match s in sub t t' sub ban fun sub nat fun sub bn fun (s > t sub t wi th sub t (sub bool return sub t' t" match