Documentation for method operation assembled from the following pages:
Class: X::TypeCheck §
From X::TypeCheck
(X::TypeCheck) method operation §
method operation(--> Str)
Returns a string description of the operation that failed, for example "assignment", "binding", "return".