x//y＝x »＝(\a-&gt;y »＝(\b-&gt;if b＝＝0 then nothing else just(a/b)))