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