module Infix:sig..end
val (++) : ('a, 'b) Dispatch_arg.Spec.t ->
('c, 'a) Dispatch_arg.Spec.t -> ('c, 'b) Dispatch_arg.Spec.tval (-->) : ('a, 'b) Dispatch_arg.Spec.t ->
('a, 'c) Dispatch_arg.Spec.Result.t -> ('c, 'b) Dispatch_arg.Spec.t