From 3bdff980eaf72ea8be3886e8b4463a45cf4e7dc9 Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Thu, 2 Nov 2017 13:34:37 +0100
Subject: Add a representation for the splay tree

---
 catalog.mli | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'catalog.mli')

diff --git a/catalog.mli b/catalog.mli
index d5e5cfd..e871378 100644
--- a/catalog.mli
+++ b/catalog.mli
@@ -5,6 +5,8 @@ module type DATA_SIG = sig
   type 'a returnType
   
   val compare_typ: 'a typ -> 'b typ -> ('a, 'b) Tools.cmp
+
+  val repr: Format.formatter -> 'a typ -> unit
   
 end
 
@@ -31,4 +33,6 @@ module Make(D:DATA_SIG): sig
   (** Find a function with the given name and signature *)
   val find_function: t -> string -> 'a t_function sig_typ -> 'a t_function
 
+  val repr: Format.formatter -> t -> unit
+
 end
-- 
cgit v1.2.3