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

/seL4-l4v-master/HOL4/polyml/basis/
H A DForeign.sml285 val permanent: 'a conversion -> 'a conversion value
1036 fun permanent({load, store, ctype, updateML, updateC }: 'a conversion): 'a conversion = function

Completed in 61 milliseconds