Nodes of the SIGNAL Language

The following nodes

Default
This is one of the basic nodes of the SIGNAL language that is implemented for boolean input streams: It copies input x0 to the output if that value is present, and otherwise copies x1. The node is not endochronous, and also not weakly endochronous. It becomes nondeterministic after desynchronization, since it clearly makes decisions based on the presence of input values.
node Default {\| inputs = {\|bool; bool\|}; outputs = {\|bool\|}; init = {\|\|}; rules = {\| (\| ⊡::_; ⊡::_ \|) -> (\|[]\|); (\| ⊡::_; false::_ \|) -> (\|[false]\|); (\| ⊡::_; true::_ \|) -> (\|[true]\|); (\|false::_; ⊡::_ \|) -> (\|[]\|); (\|false::_; false::_ \|) -> (\|[false]\|); (\|false::_; true::_ \|) -> (\|[true]\|); (\| true::_; ⊡::_ \|) -> (\|[true]\|); (\| true::_; false::_ \|) -> (\|[true]\|); (\| true::_; true::_ \|) -> (\|[true]\|) \|}; \|}

When
This is one of the basic nodes of the SIGNAL language that is implemented for boolean input streams: It copies input x0 to the output if the second input value is true, and otherwise, copies nothing.
node When {\| inputs = {\|bool; bool\|}; outputs = {\|bool\|}; init = {\|\|}; rules = {\| (\| ⊡::_; ⊡::_ \|) -> (\|[]\|); (\| ⊡::_; false::_ \|) -> (\|[]\|); (\| ⊡::_; true::_ \|) -> (\|[]\|); (\|false::_; ⊡::_ \|) -> (\|[]\|); (\|false::_; false::_ \|) -> (\|[]\|); (\|false::_; true::_ \|) -> (\|[false]\|); (\| true::_; ⊡::_ \|) -> (\|[]\|); (\| true::_; false::_ \|) -> (\|[]\|); (\| true::_; true::_ \|) -> (\|[true]\|) \|}; \|}

UpSample2
UpSample2 just duplicates every read input value and therefore doubles the clock of the output stream.
node UpSample2 {\| inputs = {\|nat\|}; outputs = {\|nat\|}; init = {\|\|}; rules = {\| (\| a::_ \|) -> (\| [a,a] \|) \|}; \|}

DownSample2
DownSample2 is the inverse of UpSample2: it copies every second input value.
node DownSample2 {\| inputs = {\|nat\|}; outputs = {\|nat\|}; init = {\|\|}; rules = {\| (\| a::b::_ \|) -> (\| [a] \|) \|}; \|}