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

/seL4-l4v-10.1.1/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-10.1.1/HOL4/examples/machine-code/just-in-time/
H A Dexport_codeLib.sml44 fun fill c d n s = if size s < n then fill c d n (c ^ s ^ d) else s function
/seL4-l4v-10.1.1/HOL4/examples/machine-code/lisp/
H A Dexport_codeLib.sml44 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
75 val fill = list_dest dest_star tm value
/seL4-l4v-10.1.1/HOL4/examples/theorem-prover/lisp-runtime/implementation/
H A Dexport_codeLib.sml49 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.sml153 val fill = list_dest dest_star tm value
167 val fill = list_dest dest_star tm value
/seL4-l4v-10.1.1/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-10.1.1/HOL4/polyml/basis/
H A DBoolArray.sml51 fun fill n = function
/seL4-l4v-10.1.1/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-10.1.1/HOL4/src/num/termination/
H A DTotalDefn.sml220 fun fill n [] = copies false n function

Completed in 170 milliseconds