module LinearScan.Specif where


import Debug.Trace (trace, traceShow, traceShowId)
import qualified Prelude
import qualified Data.IntMap
import qualified Data.IntSet
import qualified Data.List
import qualified Data.Ord
import qualified Data.Functor.Identity
import qualified Hask.Utils


type Coq_sig a =
  a
  -- singleton inductive, whose constructor was exist
  
type Coq_sig2 a =
  a
  -- singleton inductive, whose constructor was exist2