Searched defs:patsubst (Results 1 - 2 of 2) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/tools/Holmake/ | ||
| H A D | internal_functions.sig | 6 val patsubst : (string * string * string) -> string value |
| H A D | internal_functions.sml | 152 fun patsubst (from,to,arglist) = let function |
Completed in 81 milliseconds