diff options
Diffstat (limited to 'proofs/proofview_monad.mli')
| -rw-r--r-- | proofs/proofview_monad.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/proofs/proofview_monad.mli b/proofs/proofview_monad.mli index 6a832e40f5..4d4e4470c0 100644 --- a/proofs/proofview_monad.mli +++ b/proofs/proofview_monad.mli @@ -23,6 +23,7 @@ module NonLogical : sig val ret : 'a -> 'a t val bind : 'a t -> ('a -> 'b t) -> 'b t + val map : ('a -> 'b) -> 'a t -> 'b t val ignore : 'a t -> unit t val seq : unit t -> 'a t -> 'a t @@ -51,6 +52,7 @@ module Logical : sig val ret : 'a -> 'a t val bind : 'a t -> ('a -> 'b t) -> 'b t + val map : ('a -> 'b) -> 'a t -> 'b t val ignore : 'a t -> unit t val seq : unit t -> 'a t -> 'a t |