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

/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/
H A DGlobal.h49 typedef unsigned char uchar; typedef
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dxwindows.cpp350 typedef unsigned char uchar; typedef
[all...]

Completed in 43 milliseconds