1 (*************************************************************************)
3 (* Objective Caml LablTk library *)
5 (* Jacques Garrigue, Kyoto University RIMS *)
7 (* Copyright 1999 Institut National de Recherche en Informatique et *)
8 (* en Automatique and Kyoto University. All rights reserved. *)
9 (* This file is distributed under the terms of the GNU Library *)
10 (* General Public License, with the special exception on linking *)
11 (* described in file ../../../LICENSE. *)
13 (*************************************************************************)
15 (* $Id: mytypes.mli 8232 2007-05-16 08:21:41Z doligez $ *)
20 { mutable name: string;
23 modified: Textvariable.textVariable;
24 mutable shell: (string * Shell.shell) option;
25 mutable structure: Typedtree.structure;
26 mutable type_info: Stypes.annotation list;
27 mutable signature: Types.signature;
28 mutable psignature: Parsetree.signature;