#line 3430 "/home/travis/build/felix-lang/felix/src/packages/flx_web.fdoc"
  interface fdoc_t {
    whatami : 1 -> string;
    html_raw : 1 -> string;
    html_page : 1 -> string;
    html_title: 1 -> string;
    mathjax_required: 1 -> bool;
  }