* - name is absent when an unnamed theorem is being proved, tipically in
* interactive usage
* - body is present when its given along with the command, otherwise it
* - name is absent when an unnamed theorem is being proved, tipically in
* interactive usage
* - body is present when its given along with the command, otherwise it
*)
| Record of (string * term) list * string * term * (string * term * bool) list
(** left parameters, name, type, fields *)
*)
| Record of (string * term) list * string * term * (string * term * bool) list
(** left parameters, name, type, fields *)