-
Notifications
You must be signed in to change notification settings - Fork 11
/
esp.mli
24 lines (20 loc) · 982 Bytes
/
esp.mli
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
(***********************************************************************)
(* *)
(* HEVEA *)
(* *)
(* Luc Maranget, projet Moscova, INRIA Rocquencourt *)
(* *)
(* Copyright 2001 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *)
(* *)
(* $Id: esp.mli,v 1.1 2007-02-09 14:44:50 maranget Exp $ *)
(***********************************************************************)
exception Failed
module type Config = sig
val pess : bool
val move : bool
val small_length : int
end
module Make(C:Config) : sig
val file : string -> unit
end