summaryrefslogtreecommitdiff
path: root/manual/tools/latexmacros.mli
blob: e7e4066f0e0b77939abf6a9a658d08dd81120420 (plain)
1
2
3
4
5
6
7
8
type action =
    Print of string
  | Print_arg
  | Skip_arg;;

val find_macro: string -> action list;;

val def_macro: string -> action list -> unit;;