Define.Right_variadic
module _ : sig ... end
val diff : D.state -> D.left array -> D.right array -> patch