Searched defs:separator (Results 1 - 8 of 8) sorted by relevance

/seL4-l4v-master/HOL4/help/src-sml/
H A DPrintbase.sml45 fun separator k1 = function
H A DDoc2Txt.sml8 val separator = String.implode (List.tabulate(pagewidth, fn _ => #"-")) value
H A DHtmlsigs.sml371 fun separator k1 = function
/seL4-l4v-master/HOL4/src/metis/
H A DmlibTptp.sml185 val separator = value
/seL4-l4v-master/HOL4/examples/PSL/regexp/
H A DregexpTools.sml399 fun separator s = function
/seL4-l4v-master/HOL4/polyml/basis/
H A DOS.sml227 val separator = value
[all...]
H A DFinalPolyML.sml272 val separator = "\u001b," value
432 val separator = "\u001b," value
[all...]
/seL4-l4v-master/HOL4/src/parse/
H A Dterm_grammar.sml861 val {separator, leftdelim, rightdelim, cons, nilstr, ...} = lform value

Completed in 99 milliseconds