Up – bastet » Bastet__Verify » Loop

Module `Bastet__Verify.Loop`

Parameters

L : Bastet.Interface.LOOP

Signature

include sig ... end

module I : sig ... end

val identity : L.t -> bool