#line 3381 "/home/travis/build/felix-lang/felix/src/packages/flx_web.fdoc"
  interface button-spec_t {
    id: string;
    text: string;
    onclick: string;
  }
  
  interface button-factory_t {
    whatami: 1 -> string;
    get-jscript: 1 -> string;
    make-button: button-spec_t -> string;
  }