diff options
| author | Maxime Dénès | 2017-11-28 09:52:18 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2017-11-28 09:52:18 +0100 |
| commit | 5a540c372648493575461a298e04b9fa716661ad (patch) | |
| tree | a5c6a9b455b93841dc0960b8b0c1e78865c96b1a /kernel/evar.mli | |
| parent | ac006d8c87a7e921ed5a106aeba264bd6c8caa6c (diff) | |
| parent | 3cc45d57f6001d8c377825b9b940bc51fb3a96f7 (diff) | |
Merge PR #6248: [api] Remove aliases of `Evar.t`
Diffstat (limited to 'kernel/evar.mli')
| -rw-r--r-- | kernel/evar.mli | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/kernel/evar.mli b/kernel/evar.mli index eee6680fb8..6a058207f6 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 |