Searched defs:override (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/HOL4/tools/
H A Dconfigure-mosml.sml221 val override = Path.concat(holdir, "config-override") value
/seL4-l4v-10.1.1/HOL4/tools-poly/
H A Dsmart-configure.sml76 val override = "tools-poly/poly-includes.ML" value
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibModel.sml548 fun override m = function

Completed in 44 milliseconds