chalmers-lava2000-1.3: Hardware description library
Lava.ConstructiveAnalysis
constructive :: (Generic a, Generic b) => (a -> b) -> a -> Signal BoolSource