Standard ML of New Jersey, Version 0.93, February 15, 1993 val it = () : unit - fun qr n d cont err = if d = 0 then (err d) else (cont (n div d) (n mod d)); val qr = fn : int -> int -> (int -> int -> 'a) -> (int -> 'a) -> 'a - qr 2 3 (fn q => fn r => q + r) (fn x => 0); val it = 2 : int -