This module contains the Smithy model (JSON AST) for Network-security-manager.