Module Textuallib.TextualParser

module F = Stdlib.Format
type error =
  1. | SyntaxError of {
    1. loc : Textual.Location.t;
    2. msg : string;
    }
  2. | VerificationError of TextualVerification.error list
  3. | TransformError of Textual.transform_error list
val pp_error : Textual.SourceFile.t -> F.formatter -> error -> unit
val error_to_string : Textual.SourceFile.t -> error -> string
val parse_string : Textual.SourceFile.t -> string -> (Textual.Module.t, error list) IStdlib.IStd.result
module TextualFile : sig ... end
val capture : TextualFile.t list -> unit

turn a list of textual files into a SIL-Java program and capture them.