1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
(***********************************************************************)
(* *)
(* CamlIDL *)
(* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *)
(* Copyright 1999 Institut National de Recherche en Informatique et *)
(* en Automatique. All rights reserved. This file is distributed *)
(* under the terms of the GNU Lesser General Public License LGPL v2.1 *)
(* *)
(***********************************************************************)
(* $Id: typedef.mli,v 1.9 2002-04-19 13:24:30 xleroy Exp $ *)
(* Handling of typedefs *)
open Idltypes
type type_decl =
{ td_name: string;
td_mod: string;
td_type: idltype;
td_abstract: bool;
td_c2ml: string option;
td_ml2c: string option;
td_finalize: string option;
td_compare: string option;
td_hash: string option;
td_errorcode: bool;
td_errorcheck: string option;
td_mltype: string option }
val ml_declaration: out_channel -> type_decl -> unit
val c_declaration: out_channel -> type_decl -> unit
val emit_transl: out_channel -> type_decl -> unit
val declare_transl: out_channel -> type_decl -> unit
val find: (string -> type_decl) ref
|
