package lambdapi

  1. Overview
  2. Docs

pvars map every pattern variable name to its arity.

type t = int * int
val compare : (int * int) Lplib.Base.cmp
OCaml

Innovation. Community. Security.