Searched defs:hook (Results 1 - 5 of 5) sorted by last modified time

/seL4-l4v-master/HOL4/src/postkernel/
H A DThyDataSexp.sml330 fun hook (TheoryDelta.TheoryLoaded s) = onload s function
H A DDB.sml162 fun hook thydelta = function
/seL4-l4v-master/HOL4/src/parse/
H A DParse.sml1239 fun hook ev = function
/seL4-l4v-master/HOL4/src/1/
H A DThmSetData.sml190 fun hook (DelConstant _) = uptodate_thmdelta function
/seL4-l4v-master/graph-refine/
H A Dc_rodata.py16 def hook (rep, (n, vc)): function

Completed in 64 milliseconds