]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/toplevel/meta.ml
- we now use a streaming architecture (run time gain: 11 secs)
[helm.git] / helm / software / lambda-delta / toplevel / meta.ml
index 23f8f52f5b5135d41f5509620183d75ca1af7991..4b04e3af89a7b2faffc9f80a9cfea47b62df264a 100644 (file)
@@ -35,5 +35,7 @@ type term = Sort of bool                  (* sorts: true = TYPE, false = PROP *)
 
 type pars = (qid * term) list (* parameter declarations: name, type *)
 
-(* environment: line number, parameters, name, type, (transparent?, body) *)
-type environment = (int * pars * qid * term * (bool * term) option) list
+(* entry: line number, parameters, name, type, (transparent?, body) *)
+type entry = int * pars * qid * term * (bool * term) option
+
+type item = entry option