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