diff options
| author | Florian Angeletti <florian.angeletti@inria.fr> | 2021-04-20 14:20:01 +0200 |
|---|---|---|
| committer | Florian Angeletti <florian.angeletti@inria.fr> | 2021-06-22 15:08:24 +0200 |
| commit | adb2dad313f279062d5968bf871920964338ece9 (patch) | |
| tree | 19e116ffdc714911e04a77d8a9dfd14d0bb8680f /utils/diffing.mli | |
| parent | 32d25e7d97520a15b54b2b9876d9cd125a5ccfc0 (diff) | |
| download | ocaml-adb2dad313f279062d5968bf871920964338ece9.tar.gz | |
diffing: define few common functions
Diffstat (limited to 'utils/diffing.mli')
| -rw-r--r-- | utils/diffing.mli | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/utils/diffing.mli b/utils/diffing.mli index 51f4858c7e..93502667d2 100644 --- a/utils/diffing.mli +++ b/utils/diffing.mli @@ -110,3 +110,10 @@ val variadic_diff : test:('state -> 'l -> 'r -> ('eq, 'diff) result) -> update:('l, 'r, 'eq, 'diff, 'state) update -> 'state -> 'l array -> 'r array -> ('l, 'r, 'eq, 'diff) patch + + +val default_weight : _ change -> int + +(** Printing default function *) +val prefix: Format.formatter -> (int * _ change) -> unit +val style: _ change -> Misc.Color.style list |