rewrite.mli « subtac « contrib - coq - the Coq proof assistant

about summary refs log tree commit diff homepage

path: root/contrib/subtac/rewrite.mli

blob: 3f8bfb136d20468c10d776ca3f51773ae44f82d5 (plain)

1
2
3

val subtac :
  (Names.identifier * Sast.type_loc) option -> 
  Names.identifier -> Sast.type_loc * Sast.term_loc -> unit