Module Term.Classic

Classic view

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