package patdiff
Source file import.ml
1 2 3open! Core include Composition_infix module Patience_diff = Patience_diff_lib.Patience_diff
import.ml1 2 3open! Core include Composition_infix module Patience_diff = Patience_diff_lib.Patience_diff