diff options
| author |  Matej Kosik <m4tej.kosik@gmail.com> | 2015-12-08 12:49:01 +0100 |
|---|---|---|
| committer | Matej Kosik <m4tej.kosik@gmail.com> | 2016-01-05 10:47:47 +0100 |
| commit | e4a682e2f2c91fac47f55cd8619af2321b2e4c30 (patch) | |
| tree | 2cf7ed723ee4c12dd5696946d4112a04098027b4 /checker/check.mllib | |
| parent | 08fdf3c7361c75037e12c5cd0e9f965165fed498 (diff) | |
COMMENTS: Predicate
In the original version, ocamldoc markup wasn't used properly thus
ocamldoc output did not in all places make sense.
This commit makes sure that the documentation of the Predicate module
is as clear as the documentation of the Set module (in the standard library).
Diffstat (limited to 'checker/check.mllib')
0 files changed, 0 insertions, 0 deletions