safe-eiffel/kernel

Some Kernel support classes

This repository is not active