Searched defs:enclose (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DPortable.sig138 val enclose : string -> string -> string -> string (* enclose ld rd mid *) value
H A DPortable.sml502 fun enclose ld rd s = ld ^ s ^ rd function

Completed in 83 milliseconds