Errors.Syntax_l
type t =
| BadArity of string * int * int
| UnknownPredicate of string
| ParseError of string
val kind : string
val pp : Stdlib.Format.formatter -> t -> unit