From 96ad76f4a2da61b0283bd10a7246d76eeb9aa70e Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 26 Nov 1999 21:12:12 +0000
Subject: Version initiale

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@153 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 pretyping/multcase.mli | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

(limited to 'pretyping/multcase.mli')

diff --git a/pretyping/multcase.mli b/pretyping/multcase.mli
index cab7a15d2f..7819915d95 100644
--- a/pretyping/multcase.mli
+++ b/pretyping/multcase.mli
@@ -1,2 +1,17 @@
 
 (* $Id$ *)
+
+open Names
+open Term
+open Evd
+open Environ
+open Rawterm
+open Evarutil
+
+(* used by trad.ml *)
+val compile_multcase :
+  (trad_constraint -> unsafe_env -> rawconstr -> unsafe_judgment)
+  * 'a evar_defs -> trad_constraint -> unsafe_env ->
+    rawconstr option * rawconstr list *
+    (identifier list * pattern list * rawconstr) list ->
+    unsafe_judgment
-- 
cgit v1.2.3