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

/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/src/
H A Dprime.c66 #define MAX(a,b) ((a) > (b) ? (a) : (b)) macro
H A Dkernel.h176 #define MAX(a,b) ((a) > (b) ? (a) : (b)) macro
/seL4-l4v-master/HOL4/src/emit/MLton/
H A DnumML.sml95 fun MAX x y = (if < x y then y else x) function
/seL4-l4v-master/HOL4/src/quotient/examples/lambda/
H A DtermScript.sml84 val MAX = value
[all...]
/seL4-l4v-master/HOL4/src/quotient/examples/sigma/
H A DobjectScript.sml132 val MAX = value
[all...]
/seL4-l4v-master/seL4/include/
H A Dutil.h15 #define MAX(a,b) (((a)>(b))?(a):(b)) macro
/seL4-l4v-master/HOL4/examples/elliptic/
H A DUseful.sml114 val MAX = 10; value
/seL4-l4v-master/HOL4/src/metis/
H A DmlibUseful.sml74 val MAX = 10; value
/seL4-l4v-master/HOL4/src/num/theories/
H A DarithmeticScript.sml3069 val MAX = new_definition("MAX_DEF", ���MAX m n = if m < n then n else m���); value
[all...]
/seL4-l4v-master/HOL4/examples/acl2/tests/round-trip/gold/
H A Daxioms.lisp2421 (DEFUN MAX (X Y) (IF (< Y X) X Y)) function
[all...]

Completed in 147 milliseconds