{-# OPTIONS -fglasgow-exts #-}

module ModalKD where

import GMPAS

import ModalLogic

instance ModalLogic ModalKD KDrules where

parseIndex = return (ModalKD ())

matchRO ro = []

-------------------------------------------------------------------------------