Searched defs:initialise (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-master/HOL4/help/src-sml/
H A DFlash.sig4 val initialise : (string * int) -> ((unit -> unit) * (unit -> unit)) value
H A DFlash.sml20 fun initialise p = let function
/seL4-l4v-master/HOL4/src/HolSat/
H A DminisatProve.sml112 fun initialise infile is_cnf tm = function
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dexporter.cpp140 void CopyScan::initialise(bool isExport/*=true*/) function in class:CopyScan
/seL4-l4v-master/HOL4/examples/l3-machine-code/common/
H A Dcore_decompilerLib.sml23 val initialise = ref (Lib.I: unit -> unit) value

Completed in 54 milliseconds