{-# 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 :: *