Make.1-Val
type value
val as_value : int -> value lambda array -> value option
val get_constant : Constr.pconstant -> Declarations.constant_body -> value lambda
val check_inductive : Names.inductive -> Declarations.mutual_inductive_body -> unit