Recursive function de nition over coinductive types (0)

by J Matthews