open import Prelude

module MJ.Classtable (c : ℕ) where

open import MJ.Classtable.Core c public