Functor Applicative_intf.Args_to_Args2

module Args_to_Args2: 
functor (X : Args) -> sig .. end
Parameters:
X : Args

type ('a, 'e) arg = 'a X.arg 
type ('f, 'r, 'e) t = ('f, 'r) X.t 
include X