From 1550476573a4f95873fd1051910e24eeaa0e4c11 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Wed, 26 Jul 2017 20:22:25 +0100
Subject: Experimental existentials in function calls

---
 src/util.mli | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/util.mli')

diff --git a/src/util.mli b/src/util.mli
index cfd6a19e..aa442ada 100644
--- a/src/util.mli
+++ b/src/util.mli
@@ -205,4 +205,6 @@ module ExtraSet : functor (S : Set.S) ->
 (*Formatting functions*)
 val string_of_list : string -> ('a -> string) -> 'a list -> string
 
+val string_of_option : ('a -> string) -> 'a option -> string
+
 val split_on_char : char -> string -> string list
-- 
cgit v1.2.3