Module TextualParser.TextualFile

type t =
  1. | StandaloneFile of string
    (*

    Path to a file with textual SIL as content.

    *)
  2. | TranslatedFile of {
    1. source_path : string;
    2. content : string;
    3. line_map : LineMap.t;
    }
    (*

    File with textual SIL content which is a result of translation of a file at source_path.

    *)
type sil = {
  1. sourcefile : Textual.SourceFile.t;
  2. cfg : IR.Cfg.t;
  3. tenv : IR.Tenv.t;
}
val translate : t -> (sil, Textual.SourceFile.t * error list) IStdlib.IStd.result
val capture : use_global_tenv:bool -> sil -> unit
val line_map : t -> LineMap.t option