(   X : *    !        ( X : * ;  subs : List (Tup X (Bush X)) !
data !------------!  where !---------------------------------------!
     ! Bush X : * )        !        Branches subs : Bush X         )

Tup is a tuple, List is a list.

Reply via email to