sig
  type 'a t
  val map : f:('a -> 'b) -> 'a Fcommand.Flag.t -> 'b Fcommand.Flag.t
end