constraint < .. > = < .. >
method private visit_array : 'env 'a 'b. ('env -> 'a -> 'b * 's) ->
'env ->
'a array ->
'b array * 'smethod private visit_bool : 'env. 'env -> bool -> bool * 'smethod private visit_bytes : 'env. 'env -> bytes -> bytes * 'smethod private visit_char : 'env. 'env -> char -> char * 'smethod private visit_float : 'env. 'env -> float -> float * 'smethod private visit_int : 'env. 'env -> int -> int * 'smethod private visit_int32 : 'env. 'env -> int32 -> int32 * 'smethod private visit_int64 : 'env. 'env -> int64 -> int64 * 'smethod private visit_lazy_t : 'env 'a 'b. ('env -> 'a -> 'b * 's) ->
'env ->
'a Lazy.t ->
'b Lazy.t * 'smethod private visit_list : 'env 'a 'b. ('env -> 'a -> 'b * 's) ->
'env ->
'a list ->
'b list * 'smethod private visit_nativeint : 'env. 'env -> nativeint -> nativeint * 'smethod private visit_option : 'env 'a_0 'a_1. ('env -> 'a_0 -> 'a_1 * 's) ->
'env ->
'a_0 option ->
'a_1 option * 'smethod private visit_ref : 'env 'a_0 'a_1. ('env -> 'a_0 -> 'a_1 * 's) ->
'env ->
'a_0 ref ->
'a_1 ref * 'smethod private visit_result : 'env 'a_0 'a_1 'b_0 'b_1. ('env ->
'a_0 ->
'a_1 * 's) ->
('env -> 'b_0 -> 'b_1 * 's) ->
'env ->
('a_0, 'b_0) Result.result ->
('a_1, 'b_1) Result.result * 'smethod private visit_string : 'env. 'env -> string -> string * 'smethod private visit_unit : 'env. 'env -> unit -> unit * 's