Example #1
0
 // ## operation size()
 public int size() {
   // #[ operation size()
   return root.size();
 }