Searched defs:new (Results 1 - 25 of 94) sorted by relevance

1234

/seL4-l4v-10.1.1/HOL4/tools/Holmake/poly/
H A DMB_Monitor.sig4 val new : {info : string -> unit, value
/seL4-l4v-10.1.1/HOL4/src/portableML/mosml/concurrent/
H A DSref.sig5 val new : 'a -> 'a t value
H A DSref.sml8 fun new v = ref v function
/seL4-l4v-10.1.1/HOL4/src/portableML/poly/concurrent/
H A DSref.sig5 val new : 'a -> 'a t value
H A DSref.sml6 fun new v = {mutex = Mutex.mutex(), v = ref v} function
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A Dtailbuffer.sig5 val new : {numlines : int, patterns : string list} -> t value
H A DSourceFile.sig20 val new: string -> t value
H A DSourceFile.sml25 fun new file = T {file = ref file, function
H A Dtailbuffer.sml7 fun new {numlines,patterns} : t = function
/seL4-l4v-10.1.1/HOL4/src/postkernel/
H A DThyDataSexp.sig31 val new : {thydataty : string, value
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DActive.sig39 val new : value
H A DAtomNet.sig21 val new : parameters -> 'a atomNet value
H A DAtomNet.sml32 val new = TermNet.new; value
H A DHeap.sig11 val new : ('a * 'a -> order) -> 'a heap value
H A DHeap.sml33 fun new cmp = Heap (cmp,0,E); function
H A DLiteralNet.sig21 val new : parameters -> 'a literalNet value
H A DLiteralNet.sml25 fun new parm = {positive = AtomNet.new parm, negative = AtomNet.new parm}; function
H A DResolution.sig25 val new : value
H A DResolution.sml33 fun new parameters ths = function
H A DSubsume.sig15 val new : unit -> 'a subsume value
H A DTermNet.sig21 val new : parameters -> 'a termNet value
H A DWaiting.sig56 val new : value
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DActive.sig39 val new : value
H A DAtomNet.sig21 val new : parameters -> 'a atomNet value
H A DAtomNet.sml32 val new = TermNet.new; value

Completed in 188 milliseconds

1234