Bastet__Verify.Loop_Any
L : Bastet.Interface.LOOP_ANY
include sig ... end
module I : sig ... end
val identity : 'a L.t -> bool