Module Textuallib.TextualParser

module F = Stdlib.Format
type error =
  1. | SyntaxError of {
    1. loc : Textual.Location.t;
    2. msg : string;
    }
  2. | BasicError of TextualBasicVerification.error
  3. | TypeError of TextualTypeVerification.error
  4. | TransformError of Textual.transform_error list
  5. | DeclaredTwiceError of TextualDecls.error
    (*

    errors related to Textual

    *)
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.