let arities = Hashtbl.create 11;;
+ let shared_implicit = [Cic.Implicit None]
let rec path_string_of_term = function
- | Cic.Meta _ -> [Cic.Implicit None]
+ | Cic.Meta _ -> shared_implicit
| Cic.Appl ((hd::tl) as l) ->
if not (Hashtbl.mem arities hd) then
Hashtbl.add arities hd (List.length tl);