Up  Next

Module type Euclid.Rat


module type Rat = sig  end

type q 
val eq : q -> q -> bool
Parameters:
? : q
? : q
 
val (+) : Euclid.Rat.q -> Euclid.Rat.q -> Euclid.Rat.q
Parameters:
? : Euclid.Rat.q
? : Euclid.Rat.q
 
val zero : q
val inv : q -> q
Parameters:
? : q
 
val (*) : Euclid.Rat.q -> Euclid.Rat.q -> Euclid.Rat.q
Parameters:
? : Euclid.Rat.q
? : Euclid.Rat.q
 
val one : q
val (/) : Euclid.Rat.q -> Euclid.Rat.q -> Euclid.Rat.q
Parameters:
? : Euclid.Rat.q
? : Euclid.Rat.q
 
val floor : q -> q
Parameters:
? : q
 
val is_int : q -> bool
Parameters:
? : q