#line 3394 "/home/travis/build/felix-lang/felix/src/packages/flx_web.fdoc"
  
  interface toc_menu_interface {
    whatami: 1 -> string;
    get_style: 1-> string;
    get_js: 1-> string;
    make_menu: 1 -> string;
  }