logtk

Core types and algorithms for logic
IN THIS PACKAGE
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 ID.t * t list(*

covers Const and App

*)
| AppBuiltin of Builtin.t * t list
| NonFO(*

any other case

*)
val view : t -> view