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