Previous  Up  

Module type Euclid.S


module type S = sig  end

type t 
val euclid : t -> t -> t * t * t
Parameters:
? : t
? : t
 
val solve : t list -> t -> (t * t list) option
Parameters:
? : t list
? : t