
⟨a, b, c⟩ ← {a⇐1 ⋄ b⇐2 ⋄ c⇐"ab"} ⋄ a‿b‿c # 1‿2‿"ab"
⟨a, b, c, d⟩ ← {a⇐1 ⋄ b⇐2 ⋄ c⇐"ab"} ⋄ err
⟨alias⇐a, b, c0‿c1⇐c⟩ ← {a⇐1 ⋄ b⇐2 ⋄ c⇐"ab"} ⋄ alias‿b‿c0‿c1 # 1‿2‿'a'‿'b'
⟨⟩ ← {a⇐1 ⋄ b⇐2 ⋄ c⇐"ab"} ⋄ 1 # 1
⟨d⟩ ← {a⇐1 ⋄ b⇐2 ⋄ c⇐"ab"} ⋄ 1 # err

{⟨a⟩:a+1; 0} {a⇐10} # 11
{⟨a⟩:a+1; 0} {b⇐10} # 0
{⟨al⇐a⟩:al+1; 0} {a⇐10} # 11
{⟨al⇐a⟩:al+1; 0} {b⇐10} # 0
10{𝕨𝕊⟨⟩: 𝕨+1} {a⇐10} # 11