TextualVerification (infer.Textuallib.TextualVerification)

type error

val pp_error : Stdlib.Format.formatter -> error -> unit

val pp_error_with_sourcefile : 
  Textual.SourceFile.t ->
  Stdlib.Format.formatter ->
  error ->
  unit

val verify : 
  Textual.Module.t ->
  (Textual.Module.t, error list) IStdlib.IStd.result

perform verification (some basic rules, simple type checking, no duplicate declaration) and returns a new version (after type inference)