pms-domain-service-0.0.1.0: src/PMS/Domain/Service/DS/State/Start/Disconnect.hs
{-# LANGUAGE GADTs #-}
{-# LANGUAGE MultiParamTypeClasses #-}
module PMS.Domain.Service.DS.State.Start.Disconnect where
import PMS.Domain.Service.DM.Type
-- |
--
instance IStateActivity StartStateData DisconnectEventData
-- @see default implementation in Type module.