Up – bastet » Bastet__Verify » Compare » Loop

Module `Compare.Loop`

Parameters

L : Bastet.Interface.LOOP
E : Bastet.Interface.EQ with type t = L.t

Signature

module I : sig ... end

val identity : L.t -> bool