From 0f980482bcde723a5fdea00a511863e88f1284f9 Mon Sep 17 00:00:00 2001
From: Pierre Boutillier
Date: Wed, 23 Apr 2014 10:02:51 +0200
Subject: cbn: args list instead of arg number

---
 pretyping/reductionops.mli | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'pretyping/reductionops.mli')

diff --git a/pretyping/reductionops.mli b/pretyping/reductionops.mli
index 466f3a4d17..b4eaf27d50 100644
--- a/pretyping/reductionops.mli
+++ b/pretyping/reductionops.mli
@@ -111,6 +111,8 @@ module Cst_stack : sig
   val add_args : constr array -> t -> t
   val add_cst : constr -> t -> t
   val best_cst : t -> (constr * constr list) option
+  val best_state : state -> t -> state
+  val pr : t -> Pp.std_ppcmds
 end
 
 (** {6 Reduction Function Operators } *)
-- 
cgit v1.2.3