| nil: List A
| cons: List A \to A \to List A
.
(*CSC: the URI must disappear: there is a bug now *)
interpretation "nil" 'nil =
| nil: List A
| cons: List A \to A \to List A
.
(*CSC: the URI must disappear: there is a bug now *)
interpretation "nil" 'nil =