Diffing.Defs.3o - Man Page

Module type   Diffing.Defs

Module type Defs
= sig end

The core types of a diffing implementation

type left

type right

type eq

Detailed equality trace

type diff

Detailed difference trace

type state

environment of a partial patch