---

Step * of Lemma coordinate_name-value-type

value-type(Cname)
BY
{ (ValueTypeAuto THEN Refine `callbyvalueInt` [] THEN Trivial) }

---

Latex:

---

Latex:
value-type(Cname)


By

---

Latex:
(ValueTypeAuto  THEN  Refine  `callbyvalueInt`  []  THEN  Trivial)

---

Home Index