Module Compare.Loop
Parameters
L : Interface.LOOPE : Interface.EQ with type t = L.t
Signature
module I : sig ... endval identity : L.t -> bool
Compare.LoopL : Interface.LOOPE : Interface.EQ with type t = L.tmodule I : sig ... endval identity : L.t -> bool