Abstract
Basic concepts for distance functions.
Synopsis
Description
- ↑module type has_distance
A module that defines a distance function for points in some space. Usually you only care about the function (and the type on which it operates), but a module type is necessary to conveniently define parametric modules that define distance functions.