diff options
Diffstat (limited to 'kernel/context.mli')
| -rw-r--r-- | kernel/context.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/kernel/context.mli b/kernel/context.mli index 27d0f2c1b..b8a7bf6a3 100644 --- a/kernel/context.mli +++ b/kernel/context.mli @@ -80,6 +80,8 @@ sig (** Reduce all terms in a given declaration to a single value. *) val fold : (Constr.t -> 'a -> 'a) -> t -> 'a -> 'a + + val to_tuple : t -> Name.t * Constr.t option * Constr.t end (** Rel-context is represented as a list of declarations. |