Provides classes that are fundamental to the Jif runtime system.

This package also provides classes for dealing with Jif runtime labels and runtime principals.