sig
  type view = private
      Var of FOTerm.var
    | DB of int
    | App of ID.t * FOTerm.t list
    | AppBuiltin of Builtin.t * FOTerm.t list
    | NonFO
  val view : FOTerm.t -> FOTerm.Classic.view
end