Module Patience_diff_lib__Std

module Patience_diff = Patience_diff_lib.Patience_diff
module Plain_diff = Patience_diff_lib.Plain_diff