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

/seL4-camkes-master/kernel/tools/hardware/
H A Dmemory.py12 @functools.total_ordering
/seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/
H A DObject.py17 from functools import total_ordering namespace
386 @total_ordering

Completed in 37 milliseconds