Define.Simple
module _: Parameters with type update_result := D.state
let diff: D.state => array(D.left) => array(D.right) => patch;
diff state l r computes the optimal patch between l and r, using the initial state state.
diff state l r
l
r
state