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

/seL4-l4v-master/HOL4/examples/machine-code/graph/
H A DexportLib.sml213 fun commas [] = "" function
/seL4-l4v-master/l4v/tools/c-parser/standalone-parser/
H A Dmain.sml26 val commas = String.concat o separate ", " value

Completed in 82 milliseconds