#line 3405 "/home/travis/build/felix-lang/felix/src/packages/flx_web.fdoc"
  
  interface edit-interface_t {
    whatami: 1 -> string;
    get_header: string * string -> string;
    get_body : string * string * string -> string;
  }