Markright.Continuation.empty

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