( X : * ! ( X : * ; subs : List (Tup X (Bush X)) ! data !------------! where !---------------------------------------! ! Bush X : * ) ! Branches subs : Bush X )
Tup is a tuple, List is a list.
( X : * ! ( X : * ; subs : List (Tup X (Bush X)) ! data !------------! where !---------------------------------------! ! Bush X : * ) ! Branches subs : Bush X )
Tup is a tuple, List is a list.