* http://helm.cs.unibo.it/
*)
+(* $Id$ *)
+
(** CIC Notation Parse Tree *)
type binder_kind = [ `Lambda | `Pi | `Exists | `Forall ]
* - body is present when its given along with the command, otherwise it
* will be given in proof editing mode using the tactical language
*)
- | Record of (string * term) list * string * term * (string * term) list
+ | Record of (string * term) list * string * term * (string * term * bool) list
(** left parameters, name, type, fields *)
(** {2 Standard precedences} *)