Module type Reins.Types.Poly.Equatable

module type Equatable = sig .. end

type 'a t 

val equal : 'a t -> 'a t -> bool