diff options
Diffstat (limited to 'kernel/context.mli')
| -rw-r--r-- | kernel/context.mli | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/kernel/context.mli b/kernel/context.mli index c5da51381..72fbfb540 100644 --- a/kernel/context.mli +++ b/kernel/context.mli @@ -255,8 +255,12 @@ module NamedList : sig module Declaration : sig - type t = Id.t list * Constr.t option * Constr.t + type t = + | LocalAssum of Id.t list * Constr.t + | LocalDef of Id.t list * Constr.t * Constr.t + val map_constr : (Constr.t -> Constr.t) -> t -> t + val to_named_context : t -> Named.t end type t = Declaration.t list |