Searched refs:str (Results 326 - 345 of 345) sorted by relevance
<<11121314
/seL4-l4v-master/HOL4/examples/l3-machine-code/common/ |
H A D | Import.sml | 777 (Char.succ c, Term.mk_var (String.str c, ty) :: l)) (#"a", [])
|
/seL4-l4v-master/HOL4/src/parse/ |
H A D | term_tokens.sml | 607 | SOME c => str c) ^ ")"
|
H A D | parse_term.sml | 1136 raise Temp ("Invalid suffix " ^ str c ^
|
/seL4-l4v-master/HOL4/src/tactictoe/src/ |
H A D | tttUnfold.sml | 182 "~ Subscript NONE ceil getOpt str substring use o explode foldr foldl ^ " ^
|
/seL4-l4v-master/HOL4/examples/theorem-prover/milawa-prover/ |
H A D | milawa_proofpScript.sml | 2832 str2func str = if str = "RANK" then mPrimitiveFun logic_RANK else 2833 if str = "NOT" then mPrimitiveFun logic_NOT else 2834 if str = "ORDP" then mPrimitiveFun logic_ORDP else 2835 if str = "ORD<" then mPrimitiveFun logic_ORD_LESS else mFun str`;
|
/seL4-l4v-master/HOL4/examples/machine-code/decompiler/ |
H A D | decompilerLib.sml | 106 fun replace_char c str = 107 String.translate (fn x => if x = c then str else implode [x]);
|
/seL4-l4v-master/HOL4/examples/separationLogic/src/holfoot/ |
H A D | holfootParser.sml | 142 val h' = String.translate (fn #"#" => "" | c => String.str c) h
|
/seL4-l4v-master/HOL4/polyml/basis/ |
H A D | OS.sml | 696 fn ch => if isSeparator ch then "/" else String.str ch)
|
H A D | FinalPolyML.sml | 282 | escapeEscapes c = str c
|
/seL4-l4v-master/HOL4/Manual/Translations/IT/Description/ |
H A D | definitions.tex | 1585 - val Match = Define `Match pat str = match pat str pat str`;
|
/seL4-l4v-master/HOL4/examples/acl2/examples/ |
H A D | fmapExample.sml | 158 val ONE_ONE_str = prove(``ONE_ONE str``, RW_TAC std_ss [ONE_ONE_THM]); 206 val ONE_ONE_str = prove(``ONE_ONE str``, RW_TAC std_ss [ONE_ONE_THM]); 256 val ONE_ONE_str = prove(``ONE_ONE str``, RW_TAC std_ss [ONE_ONE_THM]);
|
/seL4-l4v-master/HOL4/src/datatype/ |
H A D | ind_types.sml | 1292 val name = str (app_letter ty)
|
/seL4-l4v-master/isabelle/src/Tools/Metis/src/ |
H A D | Tptp.sml | 271 | _ => str c;
|
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/ |
H A D | Tptp.sml | 271 | _ => str c;
|
/seL4-l4v-master/HOL4/examples/l3-machine-code/m0/model/ |
H A D | m0.sml | 4850 ("str",s_imm_form(t,(n,imm32))) 4851 | StoreWord(t,(n,register_form m)) => ("str",s_reg_form(t,(n,m)))
|
/seL4-l4v-master/HOL4/examples/ARM/v7/ |
H A D | arm_parserLib.sml | 295 val sstr = Substring.full o String.str 645 ("str", STR), ("strb", STRB),
|
/seL4-l4v-master/HOL4/src/1/ |
H A D | Conv.sml | 2530 ("Illegal character '"^str c^ "' in path")
|
/seL4-l4v-master/HOL4/examples/theorem-prover/lisp-runtime/bytecode/ |
H A D | lisp_compilerScript.sml | 1546 ``BC_CODE_OK (BC_PRINT bc str) = BC_CODE_OK bc``,
|
/seL4-l4v-master/HOL4/examples/l3-machine-code/riscv/model/ |
H A D | riscv.sml | 3470 (String.str((L3.chr o BitsN.toNat) (BitsN.bits(7,0) tohost)));
|
/seL4-l4v-master/HOL4/examples/l3-machine-code/arm/model/ |
H A D | arm.sml | 26760 ("str" ^ (s_cond c),s_imm_form(add,(index,(wback,(t,(n,imm32)))))) 26763 ("str" ^ (s_cond c),
|
Completed in 592 milliseconds
<<11121314