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

/seL4-l4v-10.1.1/HOL4/src/opentheory/
H A DOpenTheoryMap.sml38 val ots = otname_to_string val sto = string_to_otname value

Completed in 43 milliseconds