constraint 'd traverse = 'd traverse
method visit_bool : 'd -> (bool, bool Applicative.t) Arity.t
method visit_char : 'd -> (char, char Applicative.t) Arity.t
method visit_float : 'd -> (float, float Applicative.t) Arity.t
method visit_int : 'd -> (int, int Applicative.t) Arity.t
method visit_int32 : 'd -> (int32, int32 Applicative.t) Arity.t
method visit_int64 : 'd -> (int64, int64 Applicative.t) Arity.t
method visit_lazy_t : 'd -> 'a. ('a, 'a Applicative.t) Arity.t -> ('a Stdcompat.Stdlib.Lazy.t, 'a Stdcompat.Stdlib.Lazy.t Applicative.t) Arity.t
method visit_list : 'd -> 'a. ('a, 'a Applicative.t) Arity.t -> ('a list, 'a list Applicative.t) Arity.t
method visit_nativeint : 'd -> (nativeint, nativeint Applicative.t) Arity.t
method visit_option : 'd -> 'a. ('a, 'a Applicative.t) Arity.t -> ('a option, 'a option Applicative.t) Arity.t
method visit_ref : 'd -> 'a. ('a, 'a Applicative.t) Arity.t -> ('a Stdcompat.ref, 'a Stdcompat.ref Applicative.t) Arity.t
method visit_result : 'd -> 'a. ('a, 'a Applicative.t) Arity.t -> ('b, 'b Applicative.t) Arity.t -> (('a, 'b) Stdcompat.result, ('a, 'b) Stdcompat.result Applicative.t) Arity.t
method visit_string : 'd -> (string, string Applicative.t) Arity.t
method visit_unit : 'd -> (unit, unit Applicative.t) Arity.t