Myers (p.windtrap.0.1.0.doc.windtrap.myers.Myers)

Sourcemodule type Equal = sig ... end

Sourcemodule Line : sig ... end

val compute : 
  (module Equal with type t = 'a) ->
  'a list ->
  'a list ->
  'a Line.t list

compute (module E) before after returns a shortest edit script from before to after.

val diff : 
  ?context:int ->
  ?expected_label:string ->
  ?actual_label:string ->
  string ->
  string ->
  string

diff expected actual renders a unified diff for text inputs.

val print_diff : 
  ?context:int ->
  ?expected_label:string ->
  ?actual_label:string ->
  string ->
  string ->
  unit

print_diff expected actual writes diff to stdout.