package patdiff

You can search for identifiers within the package.

in-package search v0.2.0

File Diff using the Patience Diff algorithm

Install

sha256=fbe06078bdb58f3e0c165998ecb82de6983a173c62f0f9f3ae4e914e645204e1

md5=12319e1918cf37f2800fd5aef272b398

Used to determine which name to use for a file, depending on the operation.

Sourcetype t =

Sourceval compare : t -> t -> int

Sourceval equal : t -> t -> bool

Sourceval real_name_exn : t -> string

The name used to access the file system. May differ from the name used for display.

Sourceval display_name : t -> string

The name used for display. Also used for file extension heuristics.

If t has an alt_name, then that is used. Otherwise, the real name is used.

Sourceval to_string_hum : t -> string

Equivalent to display_name.

Sourceval append : t -> string -> t

Append a path component to each of real_name, alt_name.

Sourceval dev_null : t