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

/seL4-l4v-master/graph-refine/
H A Drep_graph.py799 def get_func (self, n_vc, tag = None): member in class:GraphSlice
/seL4-l4v-master/HOL4/src/quotient/src/
H A Dquotient.sml1763 let val get_func = fst o strip_comb o rand o rator value

Completed in 52 milliseconds