enum Ġclass ĠE Ġ{ ĊĠĠĠ ĠA , ĊĠĠĠ ĠB Ċ } Ċ Ċ fun Ġf ( e 1 : ĠE , Ġe 2 : ĠE ?, Ġx : ĠAny ) Ġ{ ĊĠĠĠ Ġif Ġ( e 1 Ġ== Ġ< caret > Ċ } Ċ Ċ // ĠWITH _ ORDER Ċ // ĠEX IST : Ġ{ Ġitem Text :" e 2 " Ġ} Ċ // ĠEX IST : Ġ{ Ġlookup String :" A ", Ġitem Text :" E . A ", Ġtype Text :" E " Ġ} Ċ // ĠEX IST : Ġ{ Ġlookup String :" B ", Ġitem Text :" E . B ", Ġtype Text :" E " Ġ} Ċ // ĠA BS ENT : Ġnull Ċ // ĠA BS ENT : Ġ{ Ġitem Text :" !! Ġe 2 " Ġ} Ċ // ĠA BS ENT : Ġe 1 Ċ // ĠA BS ENT : Ġx Ċ