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

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dsys.h33 #define EXC_underflow 6 /* This does not correspond to any ML exception. */ macro

Completed in 27 milliseconds