ParserAndCompiler (gillian.Bulk.Outcome.Make

module TargetLangOptions : sig ... end

type init_data = Engine.SState.Make(SMemory).init_data

type err = PC.err

type tl_ast = PC.tl_ast

module Annot : sig ... end

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

val parse_and_compile_files : 
  string list ->
  ((Annot.t, tl_ast, init_data)
     Gillian.Command_line.ParserAndCompiler.compiled_progs,
    err)
    Stdlib.result

val other_imports : 
  (string
   * (string ->
   ((Annot.t, string) Gillian.Gil_syntax.Prog.t, err) Stdlib.result))
    list

val default_import_paths : string list option

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