hardcaml_verify

Hardcaml Verification Tools
IN THIS PACKAGE

Parameters

module M : Base.Monad.S

Signature

val all : 'a M.t t -> 'a t M.t