• Can you show me an example of a tactic written in OCaml?
• Is there a skeleton of OCaml tactic I can reuse somewhere?