1 bT
2   :: KnownNat n
3   => Vec (n+1) a
4   -> (a->a->a)
5   -> Vec (n+1) a
6   -> a
7   -> (Vec (n+1) a,a)
8 bT xs f rs a = (rs',o)
9   where
10     o = last rs'
11     rs' = zipWith f (a +>> rs) xs
12
13 -- Initialisation:
14 b
15   :: HiddenClockReset domain gated synchronous
16   => Num a
17   => Signal domain a
18   -> Signal domain a
19 b = mealy (bT (1:>2:>3:>Nil) (+)) (repeat 0)