declare type numOrString = string | number
data Empty()
data Leaf(n)
data Node(l, r)
def size(Empty()) = 0
addpattern def size(Leaf(n)) = 1
addpattern def size(Node(l, r)) = size(l) + size(r)
Languages with Algebraic Data Type include TypeScript, Coconut
Read more about Algebraic Data Type on the web: 1.
HTML of this page generated by Features.ts