// Extracted from http://dev.w3.org/2006/webapi/WebIDL/ on 2011-05-06
interface Point { /* ... */ };

interface Circle {
  attribute float cx;
  attribute float cy;
  attribute float radius;

  static readonly attribute long triangulationCount;
  static Point triangulate(Circle c1, Circle c2, Circle c3);
};