1signature Holdep =
2sig
3
4exception Holdep_Error of string
5val main : { assumes : string list,
6             includes : string list,
7             diag : (unit -> string) -> unit,
8             fname : string } ->
9           {tgt : string, deps : string list}
10
11val encode_for_HOLMKfile : {tgt : string, deps : string list} -> string
12
13
14end
15