Module Bastet__Verify.Monad_Zero
Parameters
Signature
include sig ... end
val annihalation : ('a -> 'b M.t) -> bool
Bastet__Verify.Monad_Zeroinclude sig ... endval annihalation : ('a -> 'b M.t) -> bool