Module FOTerm.Classic

module Classic: sig .. end

Classic view

type view = private

`\|`	`Var of FOTerm.var`
`\|`	`DB of int`
`\|`	`App of ID.t * FOTerm.t list`	`(*`	covers Const and App	`*)`
`\|`	`AppBuiltin of Builtin.t * FOTerm.t list`
`\|`	`NonFO`	`(*`	any other case	`*)`

val view : FOTerm.t -> view