diff options
Diffstat (limited to 'STRUCTURES/option.mli')
| -rw-r--r-- | STRUCTURES/option.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/STRUCTURES/option.mli b/STRUCTURES/option.mli index a5d45fe..c139e25 100644 --- a/STRUCTURES/option.mli +++ b/STRUCTURES/option.mli @@ -28,6 +28,7 @@ val bind : 'a option -> ('a -> 'b option) -> 'b option val return : 'a -> 'a option val map2 : ('a -> 'b -> 'c) -> 'a option -> 'b option -> 'c option val bind2 : 'a option -> 'b option -> ('a -> 'b -> 'c option) -> 'c option +val join : 'a option option -> 'a option val iter : ('a -> unit) -> 'a option -> unit val filter : ('a -> bool) -> 'a option -> 'a option |