Rationella tal abstype rational = rat of int * int with
{"Image DocumentName": "Rationella tal abstype rational = rat of int   int with", "Image ImageDescription": "val zero = rat (0,1) val one = rat (1,1) fun // (m,n) = if n > 0. then rat (m,n) else raise Error. fun ++ (rat(m1,n1),rat(m2,n2)) = rat (m1 n2 + m2 n1,n1 n2) fun == (rat(m1,n1),rat(m2,n2)) = m1 n2 = m2 n1. end. type rational. val zero = - : rational. val one = - : rational. val // = fn : int   int -> rational. val ++ = fn : rational   rational -> rational. val == = fn : rational   rational -> bool.", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}