framecursorref

[wks]

This opaque reference type framecursorref is introduced to provide an efficient way to iterate through Mu stack frames. It should be part of the type system.

Where it is introduced: microvm/microvm-meta#49
Reference to the informal spec: https://github.com/microvm/microvm-spec/blob/master/type-system.rest#opaque-reference-type
Stack introspection API: https://github.com/microvm/microvm-spec/blob/master/uvm-client-interface.rest#stack-introspection