Searched defs:strs (Results 1 - 7 of 7) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/real-to-float/
H A DdaisyLib.sml19 val strs = String.tokens (fn c => mem c cs) str value
/seL4-l4v-10.1.1/graph-refine/
H A Dstats.py203 def strs (seconds): function in function:print_total_time
/seL4-l4v-10.1.1/HOL4/examples/lambda/barendregt/
H A DreductionEval.sml290 val (strs, sets) = value
/seL4-l4v-10.1.1/HOL4/examples/machine-code/graph/
H A DexportLib.sml106 val (strs,ty) = tm |> rand |> listSyntax.dest_list value
108 val strs = strs |> map stringSyntax.fromHOLstring value
/seL4-l4v-10.1.1/HOL4/examples/lambda/basics/
H A DbinderLib.sml184 val (strs, sets) = List.foldl find_avoids (empty_tmset, empty_tmset) (w::asl) value
/seL4-l4v-10.1.1/HOL4/examples/theorem-prover/lisp-runtime/extract/
H A Dlisp_extractLib.sml870 val strs = listSyntax.mk_list(map fromMLstring params,``:string``) value
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/ParseTree/
H A DTYPECHECK_PARSETREE.sml904 val strs = List.mapPartial findStructure ptl value

Completed in 80 milliseconds