type sort_kind = [ `Prop | `Set | `Type of CicUniv.universe | `CProp ]
type fold_kind = [ `Left | `Right ]
-type location = Token.flocation
+type location = Stdpp.location
let fail floc msg =
let (x, y) = HExtlib.loc_of_floc floc in
failwith (Printf.sprintf "Error at characters %d - %d: %s" x y msg)
and meta_subst = term option
and subst = string * term
-and case_pattern = string * href option * term capture_variable list
+and case_pattern =
+ Pattern of string * href option * term capture_variable list
+ | Wildcard
and box_kind = H | V | HV | HOV
and box_spec = box_kind * bool * bool (* kind, spacing, indent *)