Module template

{- |
Copyright   : (c) Runtime Verification, 2020
License     : NCSA

-}

module ModuleName
    (
    ) where

import Prelude.Kore