heap-lang CAS capability
Currently, CAS can be performed on all value type, including pair. But this is not normally what real machine can do.
(However this is prevalent in a lot of simplified models?)
cc @jung
Currently, CAS can be performed on all value type, including pair. But this is not normally what real machine can do.
(However this is prevalent in a lot of simplified models?)
cc @jung