blob: 0cda56dff7ea013ac7a563c1d792e8fd56799d1e (
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*bool) list list ->
Topconstr.constr_expr list ->
Rawterm.rawconstr list ->
unit
|
