Module Patience_diff_lib

module Patience_diff : sig ... end
module Plain_diff : sig ... end

Basic Myers diff algorithm, translated from GNU diff. *