package coq
type occurrences_expr = int Misctypes.or_var occurrences_gentype !'a with_occurrences = occurrences_expr * 'atype occurrences = int occurrences_gentype !'a hyp_location_expr = 'a with_occurrences * hyp_location_flagtype clause = Names.Id.t clause_exprtype clause_atom = | OnHyp of Names.Id.t * occurrences_expr * hyp_location_flag| OnConcl of occurrences_expr
type concrete_clause = clause_atom listtype hyp_location = Names.Id.t * hyp_location_flagtype goal_location = hyp_location optiontype simple_clause = Names.Id.t option list