]> matita.cs.unibo.it Git - helm.git/blob - make/make.mli
experimental branch with no set baseuri command and no developments
[helm.git] / make / make.mli
1
2 module type Format =
3   sig
4     type source_object
5     type target_object
6     val target_of : source_object -> target_object
7     val string_of_source_object : source_object -> string
8     val string_of_target_object : target_object -> string
9     val build : source_object -> unit
10     val mtime_of_source_object : source_object -> float option
11     val mtime_of_target_object : target_object -> float option
12   end
13
14 module Make :
15   functor (F : Format) ->
16     sig
17       val make : (F.source_object * F.source_object list) list -> unit
18     end