Module Agent.ErrorSource

Petanque errors

Sourcetype t =
  1. | Interrupted
  2. | Parsing of string
  3. | Coq of string
  4. | Anomaly of string
  5. | Theorem_not_found of string
Sourceval to_string : t -> string
Sourceval to_code : t -> int