x-dsp-0.2.3.1: A embedded DSL for manipulating DSP languages in Haskell

Safe HaskellSafe-Infered

Language.XDsp.Semantics.Extras.FSig

Documentation

class Dsp repr => PVS repr Source

Associated Types

data FSig repr :: *Source

Instances

PVS (S n)