bblum

121       | naturalKind g (Clam (a,k,c)) =122         let123           val alpher = Variable.newvar()124         in125           Kpi (alpher,k,naturalKind (Variable.extend g alpher k)126                                     (Subst.crename alpher a c))127         end