blob: 51977e33dcd2996d3dba4f1fc43b826a6ee69208 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
(* val new_build_entry_lc : *)
(* Names.identifier list -> *)
(* (Names.name*Rawterm.rawconstr) list list -> *)
(* Topconstr.constr_expr list -> *)
(* Rawterm.rawconstr list -> *)
(* unit *)
val build_inductive :
Names.identifier list ->
(Names.name*Rawterm.rawconstr) list list ->
Topconstr.constr_expr list ->
Rawterm.rawconstr list ->
unit
|
