fun ĠLong . id () Ġ= Ġthis Ċ Ċ fun ĠShort . id () Ġ= Ġthis Ċ Ċ fun ĠString . drop 2 () Ġ= Ġif Ġ( length Ġ>= Ġ 2 ) Ġsub Sequence ( 2 , Ġlength ) Ġelse Ġnull Ċ Ċ fun Ġdo Simple 1 ( s : ĠString ?) Ġ= Ġs ?. length Ġ== Ġ 3 Ċ Ċ fun Ġdo Long Receiver 1 ( x : ĠLong ?) Ġ= Ġx ?. id () Ġ== Ġ 3 L Ċ Ċ fun Ġdo Short Receiver 1 ( x : ĠShort ?, Ġy : ĠShort ) Ġ= Ġx ?. id () Ġ== Ġy Ċ Ċ fun Ġdo If 1 ( s : ĠString ?) Ġ= ĊĠĠĠĠĠĠĠ Ġif Ġ( s ?. length Ġ== Ġ 1 ) Ġ" A " Ġelse Ġ" B " Ċ Ċ fun Ġdo Simple 2 ( s : ĠString ?) Ġ= Ġ 3 Ġ== Ġs ?. length Ċ Ċ fun Ġdo Long Receiver 2 ( x : ĠLong ?) Ġ= Ġ 3 L Ġ== Ġx ?. id () Ċ Ċ fun Ġdo Short Receiver 2 ( x : ĠShort ?, Ġy : ĠShort ) Ġ= Ġy Ġ== Ġx ?. id () Ċ Ċ fun Ġdo If 2 ( s : ĠString ?) Ġ= ĊĠĠĠĠĠĠĠ Ġif Ġ( 1 Ġ== Ġs ?. length ) Ġ" A " Ġelse Ġ" B " Ċ Ċ // Ġ 0 Ġvalue Of Ċ