Module Patdiff_lib.Import
module Patience_diff = Patience_diff_lib.Std.Patience_diffval error_message_start : file:Core.String.t -> line:Core.Int.t -> Core.String.t
Patdiff_lib.Importmodule Patience_diff = Patience_diff_lib.Std.Patience_diffval error_message_start : file:Core.String.t -> line:Core.Int.t -> Core.String.t