Term.Classic
This module provides a first-order view on terms, for code that focuses on first-order logic.
type view
= private
|
Var of var
DB of int
App of ID.t * t list
covers Const and App
AppBuiltin of Builtin.t * t list
NonFO
any other case
val view : t -> view