Up

Module Equal = Equal

Signature

type 'a t = 'a -> 'a -> bool
type 'a equal = 'a t
module type S = sig .. end
module type S1 = sig .. end
module type S2 = sig .. end
module type S3 = sig .. end