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

/seL4-l4v-10.1.1/seL4/include/machine/
H A Dio.h18 #define FORMAT(archetype, string_index, first_to_check) \ macro
/seL4-l4v-10.1.1/HOL4/examples/ARM/v4/mlton/
H A DupdateML.sml101 fun FORMAT fmt oareg data = function
/seL4-l4v-10.1.1/HOL4/src/0/
H A DTerm.sml610 local val FORMAT = ERR "list_mk_binder" value
/seL4-l4v-10.1.1/HOL4/src/experimental-kernel/
H A DTerm.sml779 val FORMAT = ERR "list_mk_binder" value

Completed in 105 milliseconds