{- |

Module : $EmptyHeader$

Description : <optional short description entry>

Copyright : (c) <Authors or Affiliations>

License : GPLv2 or higher, see LICENSE.txt

Maintainer : <email>

Stability : unstable | experimental | provisional | stable | frozen

Portability : portable | non-portable (<reason>)

<optional description>

-}

{- to generate by utils genTransMFormFunc.pl -}

module ExtModal.ExtModalSystems where

import Common.DocUtils

import Common.AS_Annotation

import Common.Id

-- CASL

import CASL.AS_Basic_CASL

-- ExtModal

import ExtModal.AS_ExtModal

import ExtModal.Print_AS