import.ml
patdiff
patdiff.kernel
1 2 3 open! Core_kernel include Composition_infix module Patience_diff = Patience_diff_lib.Patience_diff
1 2 3
open! Core_kernel include Composition_infix module Patience_diff = Patience_diff_lib.Patience_diff