File: zyva.ml

package info (click to toggle)
hevea 2.36-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 3,780 kB
  • sloc: ml: 19,453; sh: 503; makefile: 311; ansic: 132
file content (26 lines) | stat: -rw-r--r-- 1,153 bytes parent folder | download | duplicates (3)
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
(***********************************************************************)
(*                                                                     *)
(*                          HEVEA                                      *)
(*                                                                     *)
(*  Luc Maranget, projet Moscova, INRIA Rocquencourt                   *)
(*                                                                     *)
(*  Copyright 2001 Institut National de Recherche en Informatique et   *)
(*  Automatique.  Distributed only by permission.                      *)
(*                                                                     *)
(*  $Id: zyva.ml,v 1.4 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
    (Dest: OutManager.S) (Image : ImageManager.S) (Scan : Latexscan.S)
    (ToMake : S) =
  struct
    module Rien =  ToMake (Dest) (Image) (Scan)
    let rien = Rien.rien
  end