Previous Up

Module type Ring.Euclidean

module type Euclidean = sig .. end

An euclidean domain.

include Ring.T

val div : t -> t -> t * t