blob: 8119cd6742a1fb59f85359df53780a136e990740 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
(* 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 :
bool ->
Names.identifier list ->
(Names.name*Rawterm.rawconstr) list list ->
Topconstr.constr_expr list ->
Rawterm.rawconstr list ->
unit
|
