Searched defs:fill (Results 1 - 11 of 11) sorted by relevance

/seL4-l4v-master/HOL4/examples/machine-code/instruction-set-models/ppc/
H A Dppc_encodeLib.sml31 fun fill n s = if size s < n then fill n ("0" ^ s) else s function
H A Dppc_Lib.sml20 fun fill s = if length (explode s) < 8 then fill ("0" ^ s) else s function
/seL4-l4v-master/HOL4/examples/theorem-prover/lisp-runtime/implementation/
H A Dexport_codeLib.sml57 fun fill c d n s = if size s < n then fill c d n (c ^ s ^ d) else s function
H A Dlisp_opsScript.sml154 val fill = list_dest dest_star tm value
169 val fill = list_dest dest_star tm value
/seL4-l4v-master/HOL4/examples/machine-code/just-in-time/
H A Dexport_codeLib.sml46 fun fill c d n s = if size s < n then fill c d n (c ^ s ^ d) else s function
/seL4-l4v-master/HOL4/examples/machine-code/lisp/
H A Dexport_codeLib.sml45 fun fill c d n s = if size s < n then fill c d n (c ^ s ^ d) else s function
H A Dlisp_opsScript.sml63 val fill = list_dest dest_star tm value
76 val fill = list_dest dest_star tm value
/seL4-l4v-master/HOL4/polyml/basis/
H A DBoolArray.sml51 fun fill n = function
/seL4-l4v-master/HOL4/examples/machine-code/instruction-set-models/x86/
H A Dx86_encodeLib.sml59 fun fill n s = if size s < n then fill n ("0" ^ s) else s function
/seL4-l4v-master/HOL4/examples/machine-code/instruction-set-models/x86_64/
H A Dx64_encodeLib.sml75 fun fill n s = if size s < n then fill n ("0" ^ s) else s function
/seL4-l4v-master/HOL4/src/num/termination/
H A DTotalDefn.sml224 fun fill n [] = copies false n function

Completed in 147 milliseconds