(** {2 Parsing related types} *)
type location = Lexing.position * Lexing.position
+val pp_location: location -> string
(** maps old style (i.e. <= 3.07) lexer location to new style location,
* padding with dummy values where needed *)
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