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