Error
type errors = error list
exception Error of errors
val check_sub_proof : (Ast.ordi list * Ast.term * Ast.kind * Ast.kind * Ast.sub_rule) -> unit
val check_typ_proof : (Ast.ordi list * Ast.term * Ast.kind * Ast.typ_rule) -> unit
val display_error : Stdlib.Format.formatter -> error -> unit
val display_errors : Stdlib.Format.formatter -> error list -> unit