Module Euclid

module Euclid: sig  end

Module Euclid: Euclidean solver for diophantine equations.
Author(s): Harald Ruess

module type Rat = sig  end

The argument signature of the functor Euclid.Make May only be instantiated with a structure isomorphic to the rationals.

module type S = sig  end

Input signature of the functor Euclid.Make.

module Make: functor (R : Rat) -> sig  end

Functor building an implementation of the Euclid.S signature given an input structure Euclid.Rat isomorphic to the rationals.