sig type 'a t val equal : 'a Equal.equal -> 'a Equal.S1.t Equal.equal end