Searched defs:full (Results 1 - 16 of 16) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DArraySliceSignature.sml28 val full: 'a array -> 'a slice value
H A DMONO_VECTOR_SLICE.sml31 val full: vector -> slice value
H A DVectorSliceSignature.sml26 val full: 'a vector -> 'a slice value
H A DArray.sml232 fun full a = Slice{array=a, start=0, length=Array.length a} function
H A DMONO_ARRAY_SLICE.sml34 val full: array -> slice value
H A DVectorSliceOperations.sml37 val full: vector -> slice value
91 fun full v = Slice{vector=v, start=0w0, length=vecLength v} function
H A DVector.sml268 fun full v = Slice{vector=v, start=0, length=Vector.length v} function
H A DStringSignatures.sml123 val full: string -> substring value
H A DString.sml1271 val full: string -> substring value
/seL4-l4v-10.1.1/HOL4/polyml/modules/IntInfAsInt/
H A DArrayVector.sml175 val full: vector -> slice value
250 val full: array -> slice value
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibThm.sml570 fun full g = ([], eq_axs g @ axiomatize (Not g)); function
/seL4-l4v-10.1.1/HOL4/Manual/Guide/
H A Dguide.tex
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A Dbasis2002.sml137 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 Dlisp_compiler_opScript.sml2085 val full = clean_up o build o flatten o expand value
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A DencodeLib.sml748 val full = ONCE_DEPTH_CONV (FIRST_CONV (map REWR_CONV results)) function value
H A DpolytypicLib.sml2832 val full = PURE_REWRITE_RULE [GSYM CONJ_ASSOC] (LIST_CONJ (map (fix_function recfns conv pair) matched)) value

Completed in 305 milliseconds