Up – bastet » Bastet » Verify » Loop_Any

Module `Verify.Loop_Any`

Parameters

L : Interface.LOOP_ANY

Signature

include sig ... end

module I : sig ... end

val identity : 'a L.t -> bool