Searched defs:full (Results 1 - 16 of 16) sorted by relevance
/seL4-l4v-10.1.1/HOL4/polyml/basis/ |
H A D | ArraySliceSignature.sml | 28 val full: 'a array -> 'a slice value
|
H A D | MONO_VECTOR_SLICE.sml | 31 val full: vector -> slice value
|
H A D | VectorSliceSignature.sml | 26 val full: 'a vector -> 'a slice value
|
H A D | Array.sml | 232 fun full a = Slice{array=a, start=0, length=Array.length a} function
|
H A D | MONO_ARRAY_SLICE.sml | 34 val full: array -> slice value
|
H A D | VectorSliceOperations.sml | 37 val full: vector -> slice value 91 fun full v = Slice{vector=v, start=0w0, length=vecLength v} function
|
H A D | Vector.sml | 268 fun full v = Slice{vector=v, start=0, length=Vector.length v} function
|
H A D | StringSignatures.sml | 123 val full: string -> substring value
|
H A D | String.sml | 1271 val full: string -> substring value
|
/seL4-l4v-10.1.1/HOL4/polyml/modules/IntInfAsInt/ |
H A D | ArrayVector.sml | 175 val full: vector -> slice value 250 val full: array -> slice value
|
/seL4-l4v-10.1.1/HOL4/src/metis/ |
H A D | mlibThm.sml | 570 fun full g = ([], eq_axs g @ axiomatize (Not g)); function
|
/seL4-l4v-10.1.1/HOL4/Manual/Guide/ |
H A D | guide.tex | |
/seL4-l4v-10.1.1/HOL4/tools/Holmake/ |
H A D | basis2002.sml | 137 val full : 'a Vector.vector -> 'a slice value 173 fun full v = (v,0,vlen v) function 349 val full : 'a Array.array -> 'a slice value 398 fun full v = (v,0,vlen v) function 702 val full : string -> substring value 743 val full = all value 844 val full : vector -> slice value
|
/seL4-l4v-10.1.1/HOL4/examples/theorem-prover/lisp-runtime/implementation/ |
H A D | lisp_compiler_opScript.sml | 2085 val full = clean_up o build o flatten o expand value
|
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/ |
H A D | encodeLib.sml | 748 val full = ONCE_DEPTH_CONV (FIRST_CONV (map REWR_CONV results)) function value
|
H A D | polytypicLib.sml | 2832 val full = PURE_REWRITE_RULE [GSYM CONJ_ASSOC] (LIST_CONJ (map (fix_function recfns conv pair) matched)) value
|
Completed in 305 milliseconds