Module `Vmerrors`

val pr_error : error -> Pp.t
val too_large_code : unit -> 'a
val check_compilable_ind : name:Names.Id.t -> mind_nb_args:int -> mind_nb_constant:int -> unit