package lambdapi

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

module type S = sig ... end

Module for points and intervals. Used to determine if a cursor is in the range of a specific token, which is an interval of points (cursor positions). The presence of t and compare make RangeType an OrderedType (in the sense of Map). For now, the useful modules out of this library are Range and RangeMap.