x-dsp-0.2: A embedded DSL for manipulating DSP languages in Haskell
Language.XDsp.Semantics.Extras.FSig
class Dsp repr => PVS repr Source
Associated Types
data FSig repr :: *Source
Instances