module Arg : sig ... end
module Result : sig ... end
val f : (Arg.t -> Result.t) -> Arg.t -> Result.t