Searched defs:make (Results 1 - 17 of 17) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/portableML/poly/
H A DCounter.sml11 val make: unit -> unit -> int value
17 fun make () = function
H A DPar_Exn.sml10 val make: exn list -> exn value
29 fun make exns = function
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A DSourcePos.sig23 val make: {column: int, file: string, line: int} -> t value
H A DSourcePos.sml35 fun make {column, file, line} = function
H A DRegion.sig21 val make: {left: SourcePos.t, right: SourcePos.t} -> t value
H A DRegion.sml20 fun make f r = function
39 val make = T value
H A DHoldep_tokens.sml22 fun make inp close = let function
/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DAList.sig28 val make: ('a -> 'b) -> 'a list -> ('a * 'b) list value
H A DAList.sml82 fun make keyfun = function
H A DTable.sml43 val make: (key * 'a) list -> 'a table (* exn DUP*) value
404 fun make entries = Portable.foldl' update_new entries empty; function
H A DGraph.sml53 val make: ((key * 'a) * key list) list -> 'a T (*exn DUP | UNDEF*) value
249 fun make entries = function
/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/inputs/
H A Dproblem-set-1-answers.lisp[all...]
H A Dm1-story.lisp[all...]
/seL4-l4v-10.1.1/HOL4/Manual/Description/
H A Dmisc.tex[all...]
/seL4-l4v-10.1.1/HOL4/tools/mllex/
H A Dmllex.sml896 let fun make nil = () function
1082 fun make(nil,f) = (startline f; say "_ => raise Internal.LexerError\n") function
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/
H A DMessage.sml116 fun make v = function
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DFinalPolyML.sml849 fun make (targetName: string) : unit = function
1194 val use = use and make = make value
[all...]

Completed in 278 milliseconds