x-dsp-0.2: src/Language/XDsp/Semantics/Extras/FSig.hs

{-# LANGUAGE TypeFamilies, MultiParamTypeClasses #-}

module Language.XDsp.Semantics.Extras.FSig

where
import Language.XDsp.Semantics.Core

-- ---------------------------------
-- ---------------------------------
-- fsig processing

class Dsp repr => PVS repr where
  data FSig repr :: *