From 1177cdf4ce24cb6c3c546b5d56c28a5a4df699e7 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 1 Dec 1999 22:58:03 +0000
Subject: Renommage de multcase en cases

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@182 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 pretyping/cases.mli | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100644 pretyping/cases.mli

diff --git a/pretyping/cases.mli b/pretyping/cases.mli
new file mode 100644
index 0000000000..c0997c044e
--- /dev/null
+++ b/pretyping/cases.mli
@@ -0,0 +1,20 @@
+
+(* $Id$ *)
+
+(*i*)
+open Names
+open Term
+open Evd
+open Environ
+open Rawterm
+open Evarutil
+(*i*)
+
+(* Compilation of pattern-matching. *)
+
+val compile_multcase :
+  (trad_constraint -> env -> rawconstr -> unsafe_judgment)
+  * 'a evar_defs -> trad_constraint -> env ->
+    rawconstr option * rawconstr list *
+    (identifier list * pattern list * rawconstr) list ->
+    unsafe_judgment
-- 
cgit v1.2.3