package Ġde . end uni . monster l air . common . filter Ċ Ċ import Ġde . end uni . monster l air . common . domain . Size Ċ Ċ interface ĠSize Filter Store Ġ{ ĊĊĠĠĠ Ġfun Ġadd Size ( size : ĠSize ) ĊĠĠĠ Ġfun Ġremove Size ( size : ĠSize ) Ċ Ċ }