lambdapi.export
Hrs.V
pvars map every pattern variable name to its arity.
pvars
lambdapi.common
lambdapi.core
lambdapi.handle
lambdapi.lplib
lambdapi.lsp
lambdapi.parsing
lambdapi.pure
lambdapi.tool
type t = int * int
val compare : (int * int) Lplib.Base.cmp