12345678910111213141516171819202122232425262728293031323334353637383940414243open!Coreopen!ImportincludeOutput_intftypet=|Ansi|Ascii|Html[@@derivingcompare~localize,sexp]letimplies_unrefinedt=matchtwith|Ansi|Html->false|Ascii->true;;letflag=letopenCommand.Paraminchoose_one[map~f:(function|true->Some(SomeHtml)|_->None)(flag"html"no_arg~doc:" Output in HTML format instead of default (ASCII with ANSI escape codes)");map~f:(function|true->Some(SomeAscii)|_->None)(flag"ascii"no_arg~doc:" Output in ASCII with no ANSI escape codes (implies unrefined diff)");map~f:(function|true->Some(SomeAnsi)|_->None)(flag"ansi"no_arg~doc:" Output in ASCII with ANSI escape codes")]~if_nothing_chosen:(Default_toNone);;