Searched defs:Update (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/hardware/port/tamarack2/
H A DtamarackScript.sml32 val Update = new_definition ( value
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/
H A DBase.sml467 and Update = Update type

Completed in 37 milliseconds