Ċ @ Dsl Marker Ċ annotation Ġclass ĠDSL Ċ Ċ @ DSL Ċ class ĠA AA Ġ{ ĊĠĠĠ Ġfun Ġsub ( l : ĠB BB . () Ġ-> ĠUnit ) Ġ{ ĊĠĠĠĠĠĠĠ Ġl ( BBB ()) ĊĠĠĠ Ġ} Ċ } Ċ Ċ @ DSL Ċ class ĠB BB Ċ Ċ object ĠA Ext Space Ġ{ ĊĠĠĠ Ġfun ĠA AA . aaa () Ġ{ ĊĊĠĠĠ Ġ} Ċ } Ċ Ċ object ĠB Ext Space Ġ{ ĊĠĠĠ Ġfun ĠB BB . aaa () Ġ{ ĊĊĠĠĠ Ġ} Ċ }