From ef0f69ef068c79109420f8f2afdfd93d19fa6604 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 16 Apr 2002 11:43:12 +0000 Subject: [PATCH] type_of_aux' (to get the type of a term in a given environment and context) exported --- helm/ocaml/cic_proof_checking/cicTypeChecker.mli | 1 - 1 file changed, 1 deletion(-) diff --git a/helm/ocaml/cic_proof_checking/cicTypeChecker.mli b/helm/ocaml/cic_proof_checking/cicTypeChecker.mli index 329b05083..8c0354398 100644 --- a/helm/ocaml/cic_proof_checking/cicTypeChecker.mli +++ b/helm/ocaml/cic_proof_checking/cicTypeChecker.mli @@ -32,7 +32,6 @@ exception NotPositiveOccurrences of string exception NotWellFormedTypeOfInductiveConstructor of string exception WrongRequiredArgument of string val typecheck : UriManager.uri -> unit -val type_of: Cic.term -> Cic.term (* used only in the toplevel *) (* type_of_aux' metasenv context term *) -- 2.39.2