Module type Setoid.Setoid

module type Setoid = sig .. end

type t 
val equals : t -> t -> bool