From 3cc45d57f6001d8c377825b9b940bc51fb3a96f7 Mon Sep 17 00:00:00 2001 From: Emilio Jesus Gallego Arias Date: Sun, 26 Nov 2017 04:30:07 +0100 Subject: [api] Remove aliases of `Evar.t` There don't really bring anything, we also correct some minor nits with the printing function. --- kernel/evar.mli | 3 +++ 1 file changed, 3 insertions(+) (limited to 'kernel/evar.mli') diff --git a/kernel/evar.mli b/kernel/evar.mli index eee6680fb..6a058207f 100644 --- a/kernel/evar.mli +++ b/kernel/evar.mli @@ -30,5 +30,8 @@ val compare : t -> t -> int val hash : t -> int (** Hash over existential variables. *) +val print : t -> Pp.t +(** Printing representation *) + module Set : Set.S with type elt = t module Map : CMap.ExtS with type key = t and module Set := Set -- cgit v1.2.3