pp_term term
| Appl terms -> sprintf "(%s)" (String.concat " " (List.map pp_term terms))
- | Appl_symbol (symbol, terms) ->
+ | Appl_symbol (symbol, _, terms) ->
sprintf "(%s %s)" symbol (String.concat " " (List.map pp_term terms))
| Binder (kind, var, typ, body) ->
sprintf "\\%s %s%s.%s" (pp_binder kind)
sprintf "%d[%s]" index
(String.concat "; "
(List.map (function None -> "_" | Some term -> pp_term term) substs))
- | Num num -> num
+ | Num (num, _) -> num
| Sort `Set -> "Set"
| Sort `Prop -> "Prop"
| Sort `Type -> "Type"