Span←{𝕊⟨⟩:⟨⟩; 𝕊⟨x⟩:⟨x⟩; 𝕊⟨x,l,r⟩:x∾∾𝕊¨l‿r}
Span t