Module Make_Concrete.ParserAndCompiler

module TargetLangOptions : sig ... end
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