Match in types handled using top.

[helm.git] / matita / matita / lib / preamble.hs

{-# LANGUAGE RankNTypes, KindSignatures, GADTs, ScopedTypeVariables #-}

module Main where

import Unsafe.Coerce
import Prelude (error)
import qualified Prelude

data Top