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

/seL4-camkes-master/projects/capdl/cdl_utils/
H A Duntyped_gen.py14 from collections import namedtuple, deque, defaultdict namespace
25 Region = namedtuple('Region', ['start', 'end'])
/seL4-camkes-master/projects/camkes-tool/camkes/runner/
H A DContext.py251 'camkes': collections.namedtuple('camkes', ['ast'])(AST),

Completed in 34 milliseconds