Module `Solver.Magic_equal`

Takes a slow but type-correct Equal module and returns the magic version, which is faster. NOTE: for this to be sound, the function in the original module must be just %equal (up to runtime representation).

Parameters

module X : Solver_intf.Equal

Signature

type ('a, 'b, 'c) t = ('a, 'b, 'c) X.t

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

Module Solver.Magic_equal

Parameters

Signature

Module `Solver.Magic_equal`