Textuallib.TextualBasicVerification
type error
val pp_error : Textual.SourceFile.t -> Stdlib.Format.formatter -> error -> unit
val run : Textual.Module.t -> TextualDecls.t -> error list