Module Compare.Loop_Any
Parameters
L : Interface.LOOP_ANYE : Interface.EQ1 with type 'a t = 'a L.t
Signature
module I : sig ... endval identity : 'a L.t -> bool
Compare.Loop_AnyL : Interface.LOOP_ANYE : Interface.EQ1 with type 'a t = 'a L.tmodule I : sig ... endval identity : 'a L.t -> bool