contrib/interface/debug_tac.mli


1
2
3
4
5
6


val report_error : Coqast.t ->
    Proof_type.goal Proof_type.sigma option ref ->
    Coqast.t ref -> int list ref -> int list -> Tacmach.tactic;;

val clean_path : int -> Coqast.t -> int list -> int list;;