type t = DS.t -> DS.t -> DS.t
val v : t