/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/ |
H A D | reorder.c | 171 BddTree *this=t, *first=t; local 211 BddTree *this, *first=t; local 260 static BddTree *reorder_swapwin3(BddTree *this, BddTree **first) argument 396 BddTree *this=t, *first=t; local 426 BddTree *this=t, *first=t; local 488 int first = 1; local 680 BddTree *first=t; local 2143 int first, last; local 2168 bdd_intaddvarblock(int first, int last, int fixed) argument [all...] |
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/ |
H A D | muddy.c | 625 EXTERNML value mlbdd_bdd_intaddvarblock(value first, value last, value fixed) /* ML */ argument
|
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/ParseTree/ |
H A D | MATCH_COMPILER.sml | 123 fun first (PatSet p) = hd p; function [all...] |
H A D | TYPECHECK_PARSETREE.sml | 1049 val {first = namePrefix, ...} = splitString oldType; value [all...] |
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
H A D | Useful.sig | 118 val first : ('a -> 'b option) -> 'a list -> 'b option value
|
H A D | Useful.sml | 194 fun first f [] = NONE function
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/ |
H A D | Useful.sig | 118 val first : ('a -> 'b option) -> 'a list -> 'b option value
|
H A D | Useful.sml | 194 fun first f [] = NONE function
|
/seL4-l4v-10.1.1/HOL4/examples/elliptic/ |
H A D | Useful.sml | 211 fun first f [] = NONE function
|
/seL4-l4v-10.1.1/HOL4/src/metis/ |
H A D | mlibUseful.sml | 167 fun first f [] = NONE function
|
/seL4-l4v-10.1.1/HOL4/tools/Holmake/ |
H A D | Holmake_tools.sml | 661 fun first f [] = NONE function
|
H A D | basis2002.sml | 706 val first : substring -> char option value
|
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/ |
H A D | SIGNATURES.sml | 712 val first = lookupSharing hd value
|
/seL4-l4v-10.1.1/HOL4/polyml/basis/ |
H A D | String.sml | 1266 val first : substring -> char option value 1567 fun first(Slic function [all...] |
/seL4-l4v-10.1.1/seL4/src/arch/x86/object/ |
H A D | vcpu.c | 177 bool_t first = true; local 1443 clearVPIDIOPortMappings(vpid_t vpid, uint16_t first, uint16_t last) argument
|
/seL4-l4v-10.1.1/HOL4/examples/diningcryptos/ |
H A D | formalizeUseful.sig | 112 val first : ('a -> bool) -> 'a list -> 'a value
|
H A D | subtypeUseful.sig | 112 val first : ('a -> bool) -> 'a list -> 'a value
|
H A D | formalizeUseful.sml | 229 fun first _ [] = raise ERR "first" "no items satisfy" function [all...] |
H A D | subtypeUseful.sml | 229 fun first _ [] = raise ERR "first" "no items satisfy" function [all...] |
/seL4-l4v-10.1.1/HOL4/src/parse/ |
H A D | term_pp.sml | 166 val first = String.sub(s2, 0) value
|
/seL4-l4v-10.1.1/HOL4/src/postkernel/ |
H A D | Theory.sml | 222 fun first P = Lib.first P (!theGraph) function
|
/seL4-l4v-10.1.1/HOL4/examples/miller/useful/ |
H A D | HurdUseful.sig | 111 val first : ('a -> bool) -> 'a list -> 'a value
|
H A D | HurdUseful.sml | 205 fun first _ [] = raise ERR "first" "no items satisfy" function [all...] |