RecLemmas
type mutual_info =
| NonMutual of EConstr.t Declare.CInfo.t
| Mutual of Pretyping.possible_guard
val look_for_possibly_mutual_statements : Evd.evar_map -> EConstr.t Declare.CInfo.t list -> mutual_info