How can one concurrently define two types?

1

Instead of sequential definitions, consider the following simultaneous approach:

For instance:

type t1 = T1(t2)
type t2 = T2(t1)

This configuration results in an error.

2 
type rec t1 = T1(t2)
and t2 = T2(t1)
1 Like