module type VisitorS = sig ... end
module type VisitS = sig ... end
module Make (V : VisitorS) : VisitS with type 'a Visitor.t = 'a -> 'a V.Applicative.t
