ima_exe.mli 447 Bytes
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
(*-----------------------------------------------------------------------
** Copyright (C) 2001, 2002 - Verimag.
** This file may only be copied under the terms of the GNU Library General
** Public License 
**-----------------------------------------------------------------------
**
** File: ima_exe.mli
** Main author: jahier@imag.fr
*)

(** ima_exe main module. *) 

(* {% \psfig{figure=lurette.dep.ps} %} *)

open Env

val main : unit -> unit