Module RecLemmas
val look_for_possibly_mutual_statements : Evd.evar_map -> ('a * (EConstr.t * 'b)) list -> (bool * int list list * 'c option) option * ('a * (EConstr.t * 'b)) list * int list option
RecLemmasval look_for_possibly_mutual_statements : Evd.evar_map -> ('a * (EConstr.t * 'b)) list -> (bool * int list list * 'c option) option * ('a * (EConstr.t * 'b)) list * int list option