type term =
| AttributedTerm of term_attribute * term
-
| Appl of term list
| Binder of binder_kind * capture_variable * term (* kind, name, body *)
| Case of term * string option * term option * (case_pattern * term) list
and subst = string * term
and case_pattern = string * capture_variable list
+(*
val pack: term list -> term
val unpack: term -> term list
-
+*)