oracular (3) Diffing.Defs.3o.gz

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