linearscan-0.2.0.0: LinearScan/Specif.hs

module LinearScan.Specif where


import qualified Prelude
import qualified Data.IntMap
import qualified Data.List
import qualified Data.Ord
import qualified Data.Functor.Identity
import qualified LinearScan.Utils


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