diff options
author | Stephane Glondu <steph@glondu.net> | 2010-12-01 13:33:41 +0100 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2010-12-01 13:33:41 +0100 |
commit | 8ab748064ddeec8400859e210bf9963826cba631 (patch) | |
tree | 25eef87f75dbac861d99c781a653b5595c6755ff /AAC_search_monad.mli | |
parent | 9e28c50232e56e35437afb468c6d273abcf5eab5 (diff) |
Imported Upstream version 0.2.1upstream/0.2.1
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} *) |