lambdapi
Proof assistant for the λΠ-calculus modulo rewriting
package lambdapi
-
lambdapi.tool
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Library lambdapi.lplib
module type S = sig ... endModule 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.
ON THIS PAGE
No table of contents