Module type Parameters.String

module type String = Generic  with type t = string

type t 
val set : t -> unit
val get : unit -> t
val arg : string * Arg.spec * string