diff options
Diffstat (limited to 'AAC_search_monad.mli')
| -rw-r--r-- | AAC_search_monad.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/AAC_search_monad.mli b/AAC_search_monad.mli index 048fa2c..093f9d9 100644 --- a/AAC_search_monad.mli +++ b/AAC_search_monad.mli @@ -14,7 +14,7 @@ *) (** A data type that represent a collection of ['a] *) -type 'a m +type 'a m (** {2 Monadic operations} *) |