Recursive type

From Free net encyclopedia