Up – bastet » Bastet » Verify » Loop

Module `Verify.Loop`

Parameters

L : Interface.LOOP

Signature

include sig ... end

module I : sig ... end

val identity : L.t -> bool