NAME

Diffing.Defs - The core types of a diffing implementation

Module type

Module type Diffing.Defs

Documentation

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