Markright.Continuation.empty
You're seeing just the function
empty
, go back to Markright.Continuation module for more information.
Link to this function