Searched defs:append (Results 26 - 40 of 40) sorted by relevance

12

/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DUseful.sig114 val append : 'a list -> 'a list -> 'a list value
H A DUseful.sml190 fun append xs ys = xs @ ys; function
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DUseful.sig114 val append : 'a list -> 'a list -> 'a list value
H A DUseful.sml190 fun append xs ys = xs @ ys; function
/seL4-l4v-10.1.1/HOL4/examples/elliptic/
H A DUseful.sml207 fun append xs ys = xs @ ys; function
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibUseful.sml163 fun append xs ys = xs @ ys; function
/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DPortable.sig20 val append : 'a list -> 'a list -> 'a list value
H A DPortable.sml57 fun append l1 l2 = l1 @ l2 function
/seL4-l4v-10.1.1/HOL4/examples/diningcryptos/
H A DformalizeUseful.sig106 val append : 'a list -> 'a list -> 'a list value
H A DsubtypeUseful.sig106 val append : 'a list -> 'a list -> 'a list value
H A DformalizeUseful.sml222 fun append l = curry op@ l; function
H A DsubtypeUseful.sml222 fun append l = curry op@ l; function
/seL4-l4v-10.1.1/HOL4/examples/miller/useful/
H A DHurdUseful.sig105 val append : 'a list -> 'a list -> 'a list value
H A DHurdUseful.sml198 fun append l = curry op@ l; function
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DPosix.sml230 val append : flags value
323 val append : flags value
1009 val append = getConst 66 value

Completed in 130 milliseconds

12