Parameter `Magic_equal.X`

type ('a, 'b, 'd) t constraint 'd = 'l * 'r

val equal : 
  ('a0, 'b, 'l0 * 'r0) X.t ->
  ('a1, 'b, 'l1 * 'r1) X.t ->
  ('a0, 'a1) Ocaml_utils.Misc_stdlib.eq option

Parameter Magic_equal.X