Web (mlsem-web.Web)

module Html = Js_of_ocaml.Dom_html

val severity_to_str : Mlsem_system.Analyzer.severity -> string

val json_of_pos : 
  Mlsem_common.Position.t ->
  [> `Assoc of (string * [> `Int of int ]) list ]

val json_of_msg : 
  (Mlsem_system.Analyzer.severity
   * Mlsem_common.Position.t
   * string
   * string option) ->
  [> `Assoc of
       (string
        * [> `Assoc of (string * [> `Int of int ]) list | `String of string ])
         list ]

val add_res : 
  ([> `Assoc of
        (string
         * [> `Assoc of (string * [> `Int of int ]) list
           | `Bool of bool
           | `Float of float
           | `List of
             [> `Assoc of
                  (string
                   * [> `Assoc of (string * [> `Int of int ]) list
                     | `String of string ])
                    list ]
               list
           | `String of string ])
          list ] as 'a)
    list ->
  Mlsem_app.Main.NoExt.treat_result ->
  'a list

val ok_answer : 
  'a list ->
  [> `Assoc of (string * [> `Int of int | `List of 'a list ]) list ]

val notify_res : 'a Js_of_ocaml.Js.Opt.t -> Yojson.Basic.t list -> unit

val typecheck : 
  Js_of_ocaml.Js.js_string Js_of_ocaml.Js.t ->
  'a Js_of_ocaml.Js.Opt.t ->
  Js_of_ocaml.Js.js_string Js_of_ocaml.Js.t