Searched defs:zero (Results 1 - 25 of 45) sorted by last modified time

12

/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/
H A Dmachine_pl2.h63 word_t zero = 0; local
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DModel.sml804 val zero = zeroValuation vars value
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DModel.sml804 val zero = zeroValuation vars value
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/
H A DCommonDialog.sml1159 fun zero n = if n = printDlgSize then () else (set8(mem, n, 0w0); zero(n+0w1)) function
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DReal.sml36 val zero = fromInt 0 and one = fromInt 1 and four = fromInt 4 value
[all...]
H A DLargeWord.sml244 val zero: largeword = shortToWord 0 value
275 val zero = zero value
H A DInt.sml80 val zero = fromInt 0 (* Avoids repeated use of fromInt. *) value
[all...]
/seL4-l4v-10.1.1/HOL4/tools/
H A Dhol-unicode.el
/seL4-l4v-10.1.1/HOL4/tools-poly/poly/redirects/
H A DmlibOmegaint.sml9 val zero = I.fromInt 0; value
/seL4-l4v-10.1.1/HOL4/src/rational/
H A DratReduce.sml6 val zero = mk_rat_of_num (numSyntax.mk_numeral Arbnum.zero) value
/seL4-l4v-10.1.1/HOL4/src/portableML/poly/
H A DArbintcore.sml10 val zero = 0 value
H A DArbnumcore.sig6 val zero : num value
H A DArbnumcore.sml15 val zero = 0 value
H A DArbintcore.sig8 val zero : int value
/seL4-l4v-10.1.1/HOL4/src/portableML/mosml/
H A DArbnumcore.sml31 val zero = [0]; value
[all...]
H A DArbintcore.sml22 val zero = (true, Arbnumcore.zero) value
H A DArbnumcore.sig6 val zero : num value
H A DArbintcore.sig8 val zero : int value
/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DArbrat.sml24 val zero = fromInt 0 value
H A DArbrat.sig9 val zero : rat value
/seL4-l4v-10.1.1/HOL4/src/num/theories/
H A DnumScript.sml73 val zero = mk_var("0", mk_thy_type{Tyop="num",Thy="num",Args=[]}); value
/seL4-l4v-10.1.1/HOL4/src/num/arith/src/
H A DNumRelNorms.sml125 val zero = Arbint.zero value
H A DGenRelNorm.sml21 val zero : t value
[all...]
H A DArith_cons.sml108 val zero = numSyntax.zero_tm value
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibSubsume.sml142 val zero = S.filter (pred o snd) zero value
[all...]

Completed in 239 milliseconds

12