type List
import Base47type List<a, -A: Kind(a)> is Kind(a):
48 Nil{}
49 Con{head: A, tail: List<a, A>}
Uses (0)
This definition uses no other definition.
import Base47type List<a, -A: Kind(a)> is Kind(a):
48 Nil{}
49 Con{head: A, tail: List<a, A>}
This definition uses no other definition.