divmodがやっと理解できたので、書く。 定義 let divmod = ev.pair( pr( cur(pair(o.!, pi1).pi2), cur( ev.pair( if( cur(pair(s.pi1.pi1, sub.pair(pi2.pi1, pi2.pi2)).pi2), cur(pi1 .pi2) ).ge.pair(pi2.pi1, pi2.pi2), I ).pair(ev, pi2) ) ).s.pi1, I …