module Rational:Rational numberssig..end
val gcd : int -> int -> inttype t = {
|
num : |
|
den : |
val make : int -> int -> tval inv : t -> tval neg : t -> tval add : t -> t -> tval sub : t -> t -> tval mul : t -> t -> tval div : t -> t -> tval to_string : t -> stringval print : Format.formatter -> t -> unit