Functor Applicative.Make_args2

module Make_args2: 
functor (X : S2) -> Args2 with type ('a, 'e) arg := ('a, 'e) X.t
Parameters:
X : S2