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