Searched refs:get_length (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/m0/decompiler/
H A Dm0_decompLib.sml12 fun get_length th = function
17 fun format_thm th = (th, get_length th, find_exit th)
H A Dm0_core_decompLib.sml164 fun get_length th = if sumSyntax.is_inl (get_code th) then 2 else 4 function
172 fun format_thm th = (th, get_length th, find_exit th)
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/x64/decompiler/
H A Dx64_decompLib.sml24 fun get_length th = function
33 fun finalise th = (th, get_length th, find_exit th)
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Darb.cpp148 static POLYUNSIGNED get_length(PolyWord x) function
185 POLYUNSIGNED length = get_length(number);
210 POLYUNSIGNED length = get_length(number);
332 in the style of get_length, but also may convert its argument
354 POLYUNSIGNED size = get_length(DEREFWORD(x));
552 POLYUNSIGNED lx = get_length(DEREFWORD(long_x));
620 POLYUNSIGNED lx = get_length(DEREFWORD(x));
621 POLYUNSIGNED ly = get_length(DEREFWORD(y));
736 POLYUNSIGNED lx = get_length(DEREFWORD(x));
737 POLYUNSIGNED ly = get_length(DEREFWOR
[all...]

Completed in 89 milliseconds