%\end{convention}%
*)
-inline "cic:/CoRN/metrics/CPseudoMSpaces/Relations/A.var" "Relations__".
+alias id "A" = "cic:/CoRN/metrics/CPseudoMSpaces/Relations/A.var".
-inline "cic:/CoRN/metrics/CPseudoMSpaces/Relations/d.var" "Relations__".
+alias id "d" = "cic:/CoRN/metrics/CPseudoMSpaces/Relations/d.var".
(* UNEXPORTED
Set Implicit Arguments.
%\end{convention}%
*)
-inline "cic:/CoRN/metrics/CPseudoMSpaces/PsMS_axioms/A.var" "PsMS_axioms__".
+alias id "A" = "cic:/CoRN/metrics/CPseudoMSpaces/PsMS_axioms/A.var".
inline "cic:/CoRN/metrics/CPseudoMSpaces/CPsMetricSpace_is_CPsMetricSpace.con".
%\end{convention}%
*)
-inline "cic:/CoRN/metrics/CPseudoMSpaces/PsMS_basics/Y.var" "PsMS_basics__".
+alias id "Y" = "cic:/CoRN/metrics/CPseudoMSpaces/PsMS_basics/Y.var".
inline "cic:/CoRN/metrics/CPseudoMSpaces/rev_tri_ineq.con".