Lines Matching refs:string
4 val lookup_holpath : {vname : string} -> string option
5 val extend_db : {vname: string, path : string} -> unit
6 val reverse_lookup : {path : string} -> string
7 val subst_pathvars : string -> string
9 val search_for_extensions : (string -> string list) -> string list ->
10 {vname:string, path:string} list