JS2GIL_ParserAndCompiler (gillian-js.Js2jsil_lib.JS2GIL

val burn_jsil : bool Stdlib.ref

module TargetLangOptions : sig ... end

type init_data = unit

type err =

| JSParserErr of JS_Parser.Error.t
| JS2GILErr of string

type tl_ast =

| JavaScriptSource of JS_Parser.Syntax.exp
| JsilSource

module Annot = Gillian.Gil_syntax.Annot.Basic

val pp_err : Stdlib.Format.formatter -> err -> unit

val create_compilation_result : 
  string ->
  ('a, string) Gillian.Gil_syntax.Prog.t ->
  'b ->
  ('a, 'b, unit) Command_line.ParserAndCompiler.compiled_progs

val parse_and_compile_js : 
  string ->
  ((Js2jsil_lib.JSIL2GIL.Annot.Basic.t, string) Js2jsil_lib.JSIL2GIL.GProg.t
   * tl_ast,
    err)
    Stdlib.result

val parse_and_compile_jsil : 
  string ->
  ((Js2jsil_lib.JSIL2GIL.Annot.Basic.t, string) Js2jsil_lib.JSIL2GIL.GProg.t,
    'a)
    Stdlib.result

val parse_and_compile_files : 
  string list ->
  ((Js2jsil_lib.JSIL2GIL.Annot.Basic.t, tl_ast, unit)
     Command_line.ParserAndCompiler.compiled_progs,
    err)
    Stdlib.result

val other_imports : 
  (string
   * (string ->
   ((Js2jsil_lib.JSIL2GIL.Annot.Basic.t, string) Js2jsil_lib.JSIL2GIL.GProg.t,
     'a)
     Stdlib.result))
    list

val import_paths : Dune_site.Private_.Helpers.Location.t list

val default_import_paths : Dune_site.Private_.Helpers.Location.t list option

val initialize : Gillian.Utils.Exec_mode.t -> unit