Phases (p.forester.5.0.doc.forester.compiler.Forester

Sourceval load : Eio.Fs.dir_ty Eio.Path.t list -> Lsp.Text_document.t Seq.t

val parse : 
  State.t ->
  Forester_core.Reporter.diagnostic list * Forester_core.Tree.code list

Sourceval reparse : Lsp.Text_document.t -> State.t -> State.t

val build_import_graph : 
  State.t ->
  Forester_core.Reporter.Message.t Asai.Diagnostic.t list
  * Forester_core.Forest_graph.t

val expand : 
  State.t ->
  Forester_core.Tree.code ->
  Forester_core.Tree.syn
  * Forester_core.Reporter.Message.t Asai.Diagnostic.t list

val expand_all : 
  State.t ->
  Forester_core.Reporter.Message.t Asai.Diagnostic.t list

Sourceval run_jobs : State.t -> Job.job Forester_core.Range.located list -> unit

val eval : 
  State.t ->
  (Eval.result * Forester_core.Reporter.diagnostic list) Seq.t

val eval_only : 
  Forester_core.URI.t ->
  State.t ->
  State.t * Forester_core.Reporter.diagnostic list

Sourceval check_status : 'a -> State.t -> State.t * 'b option

Sourceval implant_foreign : State.t -> State.t * 'a list