Parameter Magic_equal.X

type ('a, 'b, 'd) t constraint 'd = 'l * 'r
val equal : ('a0, 'b, 'l0 * 'r0) t -> ('a1, 'b, 'l1 * 'r1) t -> ('a0, 'a1) Ocaml_utils.Misc_stdlib.eq option