Functor Applicative.Make_args

module Make_args: 
functor (X : S) -> Args with type 'a arg := 'a X.t
Parameters:
X : S