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

/seL4-l4v-10.1.1/HOL4/src/parse/
H A DCharSet.sml17 fun coords c = (ord c div 8, ord c mod 8) function

Completed in 29 milliseconds