package Ġorg . spe k framework . spe k 2 . runtime . scope Ċ Ċ enum Ġclass ĠScope Type Ġ{ ĊĠĠĠ ĠClass , ĊĠĠĠ ĠScope ; ĊĊĠĠĠ Ġoverride Ġfun ĠtoString () Ġ= Ġname . toLowerCase () Ċ } Ċ Ċ data Ġclass ĠScope Id ( val Ġtype : ĠScope Type , Ġval Ġname : ĠString ) Ċ