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

/seL4-l4v-10.1.1/l4v/tools/autocorres/tests/examples/
H A Dplus.c11 unsigned int plus(unsigned int a, unsigned int b) { function
/seL4-l4v-10.1.1/HOL4/src/floating-point/
H A Dbinary_ieeeLib.sml700 val plus = GSYM binary_ieeeTheory.float_plus_infinity_def value
/seL4-l4v-10.1.1/HOL4/examples/diningcryptos/
H A DformalizeUseful.sig59 val plus : int -> int -> int value
H A DsubtypeUseful.sig59 val plus : int -> int -> int value
H A DformalizeUseful.sml104 val plus = curry op+; value
H A DsubtypeUseful.sml104 val plus = curry op+; value
/seL4-l4v-10.1.1/HOL4/examples/miller/useful/
H A DHurdUseful.sig58 val plus : int -> int -> int value
H A DHurdUseful.sml102 val plus = curry op+; value

Completed in 87 milliseconds