module type Equal = sig .. end
sig
end
val equal : 'a Ty.T.ty -> 'a -> 'a -> bool
'a Ty.T.ty -> 'a -> 'a -> bool