Diffing.Defs(3)

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