ElimschemesInduction/recursion schemes
val elim_scheme : dep:bool -> to_kind:Sorts.family -> Ind_tables.individual Ind_tables.scheme_kindCase analysis schemes
val case_dep : Ind_tables.individual Ind_tables.scheme_kindval case_nodep : Ind_tables.individual Ind_tables.scheme_kindval casep_dep : Ind_tables.individual Ind_tables.scheme_kindval casep_nodep : Ind_tables.individual Ind_tables.scheme_kind