Module Logtk__Term.Classic

Classic view

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