Genlambda.S
type value
val as_value : int -> value lambda array -> value option
val check_inductive : Names.inductive -> Declarations.mutual_inductive_body -> unit