Searched defs:append (Results 1 - 25 of 40) sorted by path

12

/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/inputs/
H A Dcircuits.lisp[all...]
H A Dltl.lisp
/seL4-l4v-10.1.1/HOL4/examples/diningcryptos/
H A DformalizeUseful.sig106 val append : 'a list -> 'a list -> 'a list value
H A DformalizeUseful.sml222 fun append l = curry op@ l; function
H A DsubtypeUseful.sig106 val append : 'a list -> 'a list -> 'a list value
H A DsubtypeUseful.sml222 fun append l = curry op@ l; function
/seL4-l4v-10.1.1/HOL4/examples/elliptic/
H A DStream.sig44 val append : 'a stream -> (unit -> 'a stream) -> 'a stream value
H A DStream.sml53 fun append NIL s = s () function
H A DUseful.sig129 val append : 'a list -> 'a list -> 'a list value
H A DUseful.sml207 fun append xs ys = xs @ ys; function
/seL4-l4v-10.1.1/HOL4/examples/machine-code/compiler/
H A DcompilerLib.sml
/seL4-l4v-10.1.1/HOL4/examples/machine-code/x64_compiler/
H A Dx64_compilerLib.sml
/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/examples/muddy/muddyC/buddy/examples/calculator/
H A Dslist.h54 void *voidSList::append(void *d) function in class:voidSList
70 void *voidSList::append(voidSListElem *p, void *d) function in class:voidSList
176 T &append(const T &d) { return *((T*)voidSList::append(new T(d))); } function in class:SList
185 void append(SList<T> &l) function in class:SList
187 T &append(ite &i, const T &d) function in class:SList
[all...]
/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
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibStream.sig26 val append : 'a stream -> (unit -> 'a stream) -> 'a stream value
H A DmlibStream.sml43 fun append NIL s = s () function
H A DmlibUseful.sig61 val append : 'a list -> 'a list -> 'a list value
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
H A DRedblackmap.sml153 fun append LEAF right = right function
[all...]
H A DRedblackset.sml367 fun append LEAF right = right function
[all...]
H A Dseq.sig19 val append : 'a seq -> 'a seq -> 'a seq value

Completed in 218 milliseconds

12