import Protocol.NoninterferenceCore
import Protocol.NoninterferenceExtensions

/-! # Protocol.Noninterference

Barrel module re-exporting core noninterference definitions/theorems and
extension wrappers used by protocol exactness packaging.
-/
