Frama-C API - Make_based_on_bind
Extend a minimal monad based on bind.
Parameters
module M : Based_on_bind
Signature
type 'a t = 'a M.t
val return : 'a -> 'a t
module Bool : sig ... end
monadic convenience functions around booleans
module Option : sig ... end
applying monadic functions to the option type
module List : sig ... end
applying monadic functions to lists
module Operators : sig ... end