X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2FmQueryLevels.mli;h=5b214b73364741d3dace7e1750cd612736d89e15;hb=7ff85e55518d06d96b9abbea4aa68d83e6be35b0;hp=bc1dc74149fa03284c1960b1485eba58511b964b;hpb=b5dd63f1413ba984c2e09239ad4554775467f653;p=helm.git

diff --git a/helm/gTopLevel/mQueryLevels.mli b/helm/gTopLevel/mQueryLevels.mli
index bc1dc7414..5b214b733 100644
--- a/helm/gTopLevel/mQueryLevels.mli
+++ b/helm/gTopLevel/mQueryLevels.mli
@@ -33,8 +33,4 @@
 (*                                                                            *)
 (******************************************************************************)
 
-type levels_spec = (string * bool * int) list
-
-val levels_of_term    : Cic.metasenv -> Cic.context -> Cic.term -> levels_spec
-
-val string_of_levels  : levels_spec -> string -> string
+val out_restr: Cic.metasenv -> Cic.context -> Cic.term -> ( ((string * bool) list) list * (string * bool) list)