Module Logtk__Term.Classic

Classic view

This module provides a first-order view on terms, for code that focuses on first-order logic.

Comparison, equality, containers

type view = private
| Var of var
| DB of int
| App of Logtk.ID.t * t list

covers Const and App

| AppBuiltin of Logtk.Builtin.t * t list
| NonFO

any other case

val view : t -> view