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

12

/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A Dtailbuffer.sig6 val append : string -> t -> t value
H A Dtailbuffer.sml45 fun append s' (tb:t) : t = function
H A DRegion.sig14 val append: t * t -> t value
H A DRegion.sml41 val append = value
/seL4-l4v-10.1.1/graph-refine/graph-to-graph/
H A Delf_file.py26 def append (self,addr, line): member in class:elfFunc
/seL4-l4v-10.1.1/HOL4/src/portableML/
H A Dseq.sig19 val append : 'a seq -> 'a seq -> 'a seq value
H A Dseq.sml41 fun append LNIL x = x function
H A DRedblackmap.sml153 fun append LEAF right = right function
[all...]
H A DRedblackset.sml367 fun append LEAF right = right function
[all...]
/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/inputs/
H A Dltl.lisp
H A Dcircuits.lisp[all...]
/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
/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
/seL4-l4v-10.1.1/HOL4/examples/machine-code/x64_compiler/
H A Dx64_compilerLib.sml
/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/isabelle/src/Tools/Metis/src/
H A DStream.sig44 val append : 'a stream -> (unit -> 'a stream) -> 'a stream value
H A DStream.sml52 fun append Nil s = s () function
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DStream.sig44 val append : 'a stream -> (unit -> 'a stream) -> 'a stream value
H A DStream.sml52 fun append Nil s = s () function
/seL4-l4v-10.1.1/HOL4/examples/machine-code/compiler/
H A DcompilerLib.sml
/seL4-l4v-10.1.1/HOL4/src/prekernel/
H A DLib.sig28 val append : 'a list -> 'a list -> 'a list value

Completed in 145 milliseconds

12