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 2007 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *)
(* *)
(* $Id: zyva.mli,v 1.1 2007-02-16 19:22:52 maranget Exp $ *)
(***********************************************************************)
module type S =
functor (Dest : OutManager.S) ->
functor (Image : ImageManager.S) ->
functor (Scan : Latexscan.S) ->
Misc.Rien
module Make :
functor (Dest : OutManager.S) ->
functor (Image : ImageManager.S) ->
functor (Scan : Latexscan.S) ->
functor (ToMake : S) -> sig module Rien : sig end val rien : unit end
|
