71
71
(** Same as [fold], except the computation starts and finishes at the last argument node. *)
73
73
val fold_s : t -> ('s list -> node -> 's) -> 's
74
(** [fold_s gst synth] is equivalent to [fold gst filter herit synth init], where there is no filtering, and
74
(** [fold_s gst synth] is equivalent to [fold gst filter herit synth init], where there is no filtering, and
75
75
no inherited values: purely synthetic. *)
77
77
val fold_s_node : t -> ('s list -> node -> 's) -> node -> 's