Uses of Package
mepk.builtin

Packages that use mepk.builtin

Package	Description
mepk.builtin	This package implements extensions on top of the mepk.kernel.
mepk.builtin.internal	This package contains internal implementations for the concepts in the mepk.builtin package.

Classes in mepk.builtin used by mepk.builtin

Class	Description
Types.TypeMapBuilder	A HashMap<String,String> mapping variables to type expressions.

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

Class	Description
TrustedProof.Internal	An internal version of a TrustedProof.