diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2017-11-02 13:34:37 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@chimrod.com> | 2017-11-06 09:47:52 +0100 |
commit | 3bdff980eaf72ea8be3886e8b4463a45cf4e7dc9 (patch) | |
tree | beb1c6a1d7233c81c18bf2969cf4b558c27c0b45 /catalog.mli | |
parent | d121db88abcf054c2d84ee003edb5791f6a2680e (diff) |
Add a representation for the splay tree
Diffstat (limited to 'catalog.mli')
-rw-r--r-- | catalog.mli | 4 |
1 files changed, 4 insertions, 0 deletions
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 |