blob: 842754b9ada8250de7ae73011007093526e06183 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
(* $Id$ *)
(*i*)
open Names
open Term
(*i*)
val definition_structure :
bool * identifier * (identifier * Coqast.t) list *
(bool * (identifier * Coqast.t)) list * identifier *
Coqast.t -> unit
|