#line 3448 "/home/travis/build/felix-lang/felix/src/packages/flx_web.fdoc"
  interface heading-control_t {
    whatami: 1 -> string;
    get_headings: 1 -> list[int * string];
    head : string * int * string -> 0;
    tree_button : string * string -> string;
    add_button: string -> 0;
    emit-buttons: 1 -> string;
    emit-js: 1 -> string;
    finalise: 1 -> 0;
  }