Left_variadic._
val weight : change -> int
val test : D.state -> D.left -> D.right -> (D.eq, D.diff) result
val update : change -> D.state -> D.state * D.left array