Module LogtkFOTerm.Classic

module Classic: sig .. end

Classic view



type view = private 
| Var of int
| BVar of int
| App of LogtkFOTerm.symbol * LogtkType.t list * LogtkFOTerm.t list (*
covers Const and App
*)
| NonFO
val view : LogtkFOTerm.t -> view