Searched defs:get_args (Results 1 - 4 of 4) sorted by last modified time

/seL4-l4v-master/graph-refine/
H A Dsyntax.py641 def get_args (self): member in class:Node
/seL4-l4v-master/HOL4/examples/dev/sw/working/0.2/
H A DfunCall.sml331 fun get_args argL = function
/seL4-l4v-master/HOL4/examples/dev/sw/working/0.1/
H A DfunCall.sml334 fun get_args argL = function
/seL4-l4v-master/HOL4/examples/dev/sw/
H A DfunCall.sml346 fun get_args argL = function

Completed in 77 milliseconds