package Ġcom . cb rew . logic . notation Ċ Ċ sealed Ġclass ĠTree Ċ data Ġclass ĠNode ( val Ġlabel : ĠString , Ġval Ġchildren : ĠList < Tree >) Ġ: ĠTree () Ċ data Ġclass ĠLeaf ( val Ġlabel : ĠString , Ġval Ġtype : ĠString ) Ġ: ĠTree ()