blob: 05cef23aa78d2efce3130169adcac8edb521c024 (
plain)
1
2
3
4
5
6
|
val report_error : Tacexpr.raw_tactic_expr ->
Proof_type.goal Proof_type.sigma option ref ->
Tacexpr.raw_tactic_expr ref -> int list ref -> int list -> Tacmach.tactic;;
val clean_path : Tacexpr.raw_tactic_expr -> int list -> int list;;
|