module EverCrypt.CTR.Keys

/// Intentionally empty, private module to be friended by EverCrypt.