Searched refs:deserialise_lambda (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-10.1.1/graph-refine/
H A Dcheck.py257 (i, eqs) = syntax.parse_list (deserialise_lambda, ss, i + 3)
260 def deserialise_lambda (ss, i): function
268 (i, x) = deserialise_lambda (ss, i)
269 (i, y) = deserialise_lambda (ss, i)

Completed in 31 milliseconds