Append (@)

Concatenates two arrays of the same base type.

Syntax

expr@expr

Signatures

  1. Type 
    (T^n1; T^n2) returns (T^(n1+n2))

  2. Causality

    The output depends instantaneously on its inputs.

  3. Initialization

    The resulting sequence has its first value defined if its inputs have their first values defined.

  4. Clock

    Inputs and output have the same clock.