toplevel/record.mli


1
2
3
4
5
6
7
8
9
10
11
12


(* $Id$ *)

(*i*)
open Names
open Term
(*i*)

val definition_structure :
  string * identifier * (identifier * Coqast.t) list *
  (bool * (identifier * Coqast.t)) list * identifier *
  Coqast.t -> unit