Searched defs:split (Results 1 - 25 of 37) sorted by relevance

12

/seL4-l4v-master/l4v/tools/haskell-translator/
H A Dbraces.py98 def split(self, str=None, num=-2, braces=False): member in class:BracedString
[all...]
/seL4-l4v-master/HOL4/tools/Holmake/
H A Dholpathdb.sml11 fun split vnm p0 p = function
/seL4-l4v-master/HOL4/src/0/
H A DNet.sml170 let fun split front [] = raise ERR "split_assoc" "not found" function
/seL4-l4v-master/HOL4/src/experimental-kernel/
H A DNet.sml167 let fun split front [] = raise ERR "split_assoc" "not found" function
/seL4-l4v-master/HOL4/src/parse/
H A DFCNet.sml158 let fun split front [] = raise ERR "split_assoc" "not found" function
H A DParse_support.sml394 fun split ty = function
H A Dterm_tokens.sml505 val split = split_ident mixedset (!base_tokens.allow_octal_input) value
563 val split = split_ident mixedset (!base_tokens.allow_octal_input) value
/seL4-l4v-master/HOL4/polyml/basis/
H A DRealSignature.sml83 val split : real -> {whole : real, frac : real} value
H A DReal.sml569 fun split r = function
H A DReal32.sml160 fun split r = function
H A DString.sml
/seL4-l4v-master/HOL4/src/opentheory/reader/
H A DOpenTheoryReader.sml82 val split = (map GEN_ALL) o CONJUNCTS o SPEC_ALL value
/seL4-l4v-master/isabelle/src/Tools/Metis/src/
H A DFormula.sml556 fun split asms pol fm = function
[all...]
H A DUseful.sig228 val split : string -> string -> string list value
H A DUseful.sml583 fun split sep = function
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/
H A DFormula.sml556 fun split asms pol fm = function
[all...]
H A DUseful.sig228 val split : string -> string -> string list value
/seL4-l4v-master/HOL4/examples/elliptic/
H A DUseful.sig265 val split : string -> string -> string list value
H A DUseful.sml582 fun split sep = function
/seL4-l4v-master/HOL4/src/metis/
H A DmlibClauseset.sml284 fun split cl = function
H A DmlibUseful.sig127 val split : string -> string -> string list value
H A DmlibUseful.sml494 fun split sep = function
/seL4-l4v-master/HOL4/src/prekernel/
H A DLib.sig145 val split : ('a * 'b) list -> 'a list * 'b list value
/seL4-l4v-master/HOL4/src/list/src/
H A DListConv1.sml207 fun split n l = function
/seL4-l4v-master/HOL4/examples/theorem-prover/lisp-runtime/implementation/
H A Dlisp_symbolsScript.sml358 fun split s = if s = "" then [] else function

Completed in 321 milliseconds

12