Searched defs:dup (Results 1 - 10 of 10) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/PSL/regexp/
H A DregexpTools.sml239 local fun dup _ 0 l = l | dup x n l = dup x (n - 1) (x :: l); function
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A Dselftest.sml1074 fun dup n n' = function
H A DPrint.sml192 fun dup pp n () = if n = 1 then pp else Stream.append pp (dup pp (n - 1)); function
H A DUseful.sml551 fun dup 0 l = l | dup n l = dup (n - 1) (x :: l) function
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A Dselftest.sml1074 fun dup n n' = function
H A DPrint.sml192 fun dup pp n () = if n = 1 then pp else Stream.append pp (dup pp (n - 1)); function
H A DUseful.sml551 fun dup 0 l = l | dup n l = dup (n - 1) (x :: l) function
/seL4-l4v-10.1.1/HOL4/examples/elliptic/
H A DUseful.sml552 fun dup _ 0 l = l | dup x n l = dup x (n - 1) (x :: l) function
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibUseful.sml465 let fun dup _ 0 l = l | dup x n l = dup x (n - 1) (x :: l) function
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DPosix.sml304 val dup: file_desc -> file_desc value
1282 fun dup fd = doCall(111, fd) function

Completed in 145 milliseconds