Searched defs:release (Results 1 - 18 of 18) sorted by relevance

/seL4-l4v-master/HOL4/src/portableML/mosml/
H A DExn.sig9 val release: 'a result -> 'a value
H A DExn.sml14 fun release (Res x) = x function
/seL4-l4v-master/HOL4/src/AI/sml_inspection/
H A DsmlTimeout.sml19 fun release (Res y) = y function
H A DsmlParallel.sml30 fun release (Res y) = y function
/seL4-l4v-master/HOL4/src/portableML/poly/
H A DExn.sig18 val release: 'a result -> 'a value
H A DExn.sml42 fun release (Res y) = y function
/seL4-l4v-master/HOL4/src/prekernel/
H A DGlobals.sig5 val release : string value
H A DGlobals.sml24 val release = Systeml.release value
/seL4-l4v-master/HOL4/tools/Holmake/
H A DSysteml.sig53 val release : string value
H A Dunix-systeml.sml108 val release = "" value
H A DwinNT-systeml.sml98 val release = "" value
H A DHolmake_tools.sig43 val release : 'a result -> 'a value
H A DHolmake_tools.sml18 fun release (Res r) = r | release (Exn e) = raise e function
/seL4-l4v-master/HOL4/tools-poly/Holmake/
H A Dunix-systeml.sml103 val release = "" value
H A DwinNT-systeml.sml58 val release = value
/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/
H A DGlobal.h167 T* release (void) { T* ret = data; data = NULL; sz = 0; cap = 0; return ret; } function in class:vec
/seL4-l4v-master/HOL4/tools/
H A Dconfigure.sml185 "val release =" --> ("val release = "^quote release_string^"\n"), value
/seL4-l4v-master/HOL4/tools-poly/
H A Dconfigure.sml259 "val release =" --> ("val release = "^quote release_string^"\n"), value

Completed in 95 milliseconds