7 Likes
Link has changed to Uniqueness for Behavioural Types · KC Sivaramakrishnan ( https://kcsrk.info/ocaml/modes/oxcaml/2025/05/29/uniqueness_and_behavioural_types/ ) - maybe unintentionally @kayceesrk ?
Interesting read. I’m wondering what happens if one doesn’t use Obj.magic_at_unique? Also, I wouldn’t like needing to depend on that function in practice… Hopefully there will be some alternative
Updated the link. Thanks!
I’ll also collect this followup 
Unintentional, yes. Updated the tags and the URL has changed :-/