From 80a65e821d52fcc414b50f33d0dff60f7a38bd5f Mon Sep 17 00:00:00 2001
From: Thomas Bauereiss
Date: Tue, 29 Aug 2017 17:09:29 +0100
Subject: Improve flow typing

Can now handle nexps such as (2**65 - 1). Uses big_ints for comparisons, and
keeps original nexps in the AST.
---
 src/util.mli | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

(limited to 'src/util.mli')

diff --git a/src/util.mli b/src/util.mli
index aa442ada..f1182c61 100644
--- a/src/util.mli
+++ b/src/util.mli
@@ -77,10 +77,8 @@ val option_bind : ('a -> 'b option) -> 'a option -> 'b option
     whereas [option_default d (Some x)] returns [x]. *)
 val option_default : 'a -> 'a option -> 'a
 
-(** [option_binop f None None] returns [None], while
-    [option_binop f (Some x) None] and [option_binop f None (Some x)]
-    return [Some x], and [option_binop f (Some x) (Some y)] returns
-    [Some (f x y)] *)
+(** [option_binop f (Some x) (Some y)] returns [Some (f x y)],
+    and in all other cases, [option_binop] returns [None]. *)
 val option_binop : ('a -> 'a -> 'a) -> 'a option -> 'a option -> 'a option
 
 (** [option_get_exn exn None] throws the exception [exn],
-- 
cgit v1.2.3