Lines Matching refs:string
4 exception Holdep_Error of string5 val main : { assumes : string list,6 includes : string list,7 diag : (unit -> string) -> unit,8 fname : string } ->9 {tgt : string, deps : string list}11 val encode_for_HOLMKfile : {tgt : string, deps : string list} -> string