module Arg_type: module type of Arg_type with type 'a t = 'a Arg_type.t
module type of Arg_type
with type 'a t = 'a Arg_type.t