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