use case: cell type

[dckc]

from DAO bug typing:

CT( get, set ) = <get( rtn )>?( <rtn>! | CT( get, set ) ) + <set( nv )>?( CT( get, set ) )

I'm not sure how to read that... in particular get( rtn ). Does + mean Mixture / separation? If so, then what does | mean? Does + mean Conjunction???

[dckc]

I read get and set as universally quantified, and since the definition is recursive, it uses the fixpoint operator. The namespace logic specifies quantification and fixpoint, but I don't see them in rhocaml.

I think they're in SLMC, so I'm inclined to transcribe that stuff before trying to add to the rhocaml type checker.