custom.ml « src « tuto2 « plugin_tutorial « doc - coq - The formal proof system

about summary refs log tree commit diff

path: root/doc/plugin_tutorial/tuto2/src/custom.ml

blob: 648786d3bd9359418027941804311d21a22fbf82 (plain)

(*
 * This file defines a custom type for the PassCustom command.
 *)

type custom_type = Foo | Bar