module DynamicEquality: sig .. end
Overloaded equality over dynamic types.
val dynamic_equal : Dynamic.t -> Dynamic.t -> bool
Compare the values in a and b for equality.
val register : Dynamic.t -> unit
Register an equality function. Equality functions are uncurried, that is,
an equality function for comparing integers should have type (int * int) ->
bool. Equality functions can take a helper function, for example an equality
function for comparing lists could have type (('a * 'b) -> bool) -> (list 'a *
list 'b) -> bool).
val register_std_types : unit -> unit
Register equality functions for:
(int * int)(string * string)(bool * bool)(float * float)(unit * unit)('a list * 'a list)('a list * 'b list)