-(** [suri] [params] [ty] [fields] *)
-type record_spec =
- string * (string * Cic.term) list * Cic.term * (string * Cic.term) list
-
-(** inductive_of_record [record_spec] returns
- * types * leftno * obj * ugraph *)
-val inductive_of_record:
- record_spec ->
- Cic.inductiveType list * int * Cic.obj * CicUniv.universe_graph
-
-(** projections_of [record_spec] returns suri * name * term *)