Searched defs:make (Results 1 - 16 of 16) sorted by relevance
/seL4-l4v-master/HOL4/src/parse/ |
H A D | AncestryData.sig | 18 val make : { info : ('delta, 'value) adata_info, value
|
H A D | AncestryData.sml | 132 fun make {info : ('delta,'value)adata_info, get_deltas, delta_side_effects} = function
|
/seL4-l4v-master/HOL4/src/portableML/poly/ |
H A D | Counter.sml | 11 val make: unit -> unit -> int value 17 fun make () = function
|
H A D | Par_Exn.sml | 10 val make: exn list -> exn value 29 fun make exns = function
|
/seL4-l4v-master/HOL4/tools/Holmake/ |
H A D | SourcePos.sig | 23 val make: {column: int, file: string, line: int} -> t value
|
H A D | SourcePos.sml | 35 fun make {column, file, line} = function
|
H A D | Holdep_tokens.sml | 22 fun make inp close = let function
|
/seL4-l4v-master/HOL4/src/portableML/ |
H A D | AList.sig | 28 val make: ('a -> 'b) -> 'a list -> ('a * 'b) list value
|
H A D | AList.sml | 82 fun make keyfun = function
|
H A D | Table.sml | 43 val make: (key * 'a) list -> 'a table (* exn DUP*) value 404 fun make entries = Portable.foldl' update_new entries empty; function
|
H A D | Graph.sml | 53 val make: ((key * 'a) * key list) list -> 'a T (*exn DUP | UNDEF*) value 253 fun make entries = function
|
/seL4-l4v-master/HOL4/examples/acl2/tests/inputs/ |
H A D | problem-set-1-answers.lisp | [all...] |
H A D | m1-story.lisp | [all...] |
/seL4-l4v-master/HOL4/tools/mllex/ |
H A D | mllex.sml | 896 let fun make nil = () function 1082 fun make(nil,f) = (startline f; say "_ => raise Internal.LexerError\n") function [all...] |
/seL4-l4v-master/HOL4/polyml/mlsource/extra/Win/ |
H A D | Message.sml | 116 fun make v = function
|
/seL4-l4v-master/HOL4/polyml/basis/ |
H A D | FinalPolyML.sml | 853 fun make (targetName: string) : unit = function 1198 val use = use and make = make value [all...] |
Completed in 99 milliseconds