trait ĠT Ċ Ċ class ĠC Ġ{ ĊĠĠĠ Ġinner Ġclass ĠInner 1 ( s : ĠString ) Ġ: ĠT ĊĠĠĠ Ġinner Ġclass ĠInner 2 Ġ: ĠT ĊĠĠĠ Ġinner Ġclass ĠInner 3 ĊĠĠĠ Ġclass ĠNested : ĠT Ċ } Ċ Ċ fun Ġfoo ( c : ĠC ): ĠT Ġ{ ĊĠĠĠ Ġreturn Ġc .< caret > Ċ } Ċ Ċ // ĠEX IST : Ġ{ Ġlookup String : Ġ" Inner 1 ", Ġitem Text : Ġ" Inner 1 ", Ġtail Text : Ġ"( s : ĠString )", Ġtype Text : Ġ" C . Inner 1 " Ġ} Ċ // ĠEX IST : Ġ{ Ġlookup String : Ġ" Inner 2 ", Ġitem Text : Ġ" Inner 2 ", Ġtail Text : Ġ" ()", Ġtype Text : Ġ" C . Inner 2 " Ġ} Ċ // ĠA BS ENT : ĠInner 3 Ċ // ĠA BS ENT : ĠNested Ċ // ĠNOT H ING _ ELSE Ċ