Searched defs:quote (Results 1 - 14 of 14) sorted by relevance
/seL4-l4v-master/HOL4/src/ring/src/ |
H A D | quote.sig | 1 signature quote = signature
|
H A D | quote.sml | 1 structure quote :> quote = structure
|
/seL4-l4v-master/HOL4/tools/ |
H A D | buildutils.sig | 7 val quote : string -> string value
|
H A D | configure.sml | 83 fun quote s = String.concat ["\"",String.toString s,"\""] function [all...] |
H A D | holscript-mode.el | |
H A D | buildutils.sml | 20 fun quote s = String.concat["\"", s, "\""]; function
|
/seL4-l4v-master/HOL4/src/prekernel/ |
H A D | Feedback.sml | 45 fun quote s = String.concat ["\"", s, "\""] function
|
H A D | Lib.sig | 127 val quote : string -> string value
|
/seL4-l4v-master/l4v/tools/c-parser/standalone-parser/ |
H A D | main.sml | 23 fun quote s = "\"" ^ s ^ "\"" function
|
/seL4-l4v-master/HOL4/Manual/Tools/ |
H A D | polyscripter.sml | 20 val quote = QFRead.fromString value
|
/seL4-l4v-master/HOL4/tools-poly/ |
H A D | configure.sml | 105 fun quote s = String.concat ["\"",String.toString s,"\""] function [all...] |
/seL4-l4v-master/HOL4/src/portableML/ |
H A D | Portable.sig | 145 val quote : string -> string value
|
H A D | Portable.sml | 514 fun quote s = String.concat ["\"", s, "\""] function
|
/seL4-l4v-master/HOL4/src/parse/ |
H A D | Parse.sml | 20 val quote = Lib.mlquote value
|
Completed in 132 milliseconds