Uses of Package
mepk.builtin.internal

Packages that use mepk.builtin.internal

Package	Description
mepk.kernel	This package implements the trusted kernel of MEPK.

Classes in mepk.builtin.internal used by mepk.kernel

Class	Description
StatementAbbrExpState	The state that is kept while expanding an Abbreviation throughout a Statement.