package lambdapi

  1. Overview
  2. Docs

Basic printing function (for debug).

val term : term Lplib.Base.pp
OCaml

Innovation. Community. Security.