patience_diff -- Exported modules

The following modules will be in scope after you open Patience_diff.Std

module Patience_diff = Patience_diff

module Plain_diff = Plain_diff