+(*CSC: code to be changed soon when we implement constructors and
+ we fix the code for term application *)
+let classify_reference status ref =
+ if ReferenceMap.mem ref status#extraction_db then
+ `TypeName
+ else
+ `FunctionName
+
+let capitalize classification name =
+ match classification with
+ `Constructor
+ | `TypeName -> String.capitalize name
+ | `FunctionName -> String.uncapitalize name
+
+let pp_ref status ref =
+ capitalize (classify_reference status ref)
+ (NCicPp.r2s status false ref)
+
+let name_of_uri classification uri =
+ capitalize classification (NUri.name_of_uri uri)