compiler-libs.common
Define.S
compiler-libs.bytecomp
compiler-libs.optcomp
compiler-libs.toplevel
dynlink
runtime_events
stdlib
str
threads
unix
val diff : D.state -> D.left array -> D.right array -> 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