UriManager.string_of_uri (*UriManager.name_of_uri*) uri ^ pp_exp_named_subst exp_named_subst l
| C.Meta (n,l1) ->
"?" ^ (string_of_int n) ^ "[" ^
+(*
String.concat " ; "
(List.rev_map (function None -> "_" | Some t -> pp t l) l1) ^
+*)
"]"
| C.Sort s ->
(match s with
else None
let remove_prefix prefix (last,string) =
- if prefix="append" then
- begin
- prerr_endline last;
- prerr_endline string;
- end;
if string = "" then (last,string)
else
match is_prefix prefix string with
hyp_names=[] && check_name ~allow_suffix:true ctx conclusion_name t
let check name term =
-(* prerr_endline name;
- prerr_endline (ppterm term); *)
let names = Str.split (Str.regexp_string "_to_") name in
let hyp_names,conclusion_name =
match List.rev names with