···231231 *)
232232233233external __FUNCTION__ : string = "%loc_FUNCTION"
234234-(** [__FUNCTION__] returns the name of the current function or method, including
235235- any enclosing modules or classes.
234234+(** [__FUNCTION__] returns a string of the form ["N0n1n2..."] where [N0] is the
235235+ name of the current compilation unit and the [ni] are the names of the
236236+ successive scopes leading to the location of the call. Each of the scopes
237237+ has one of the following forms:
238238+239239+ - [.n] if [n] is the name of a function, module, class or value definition,
240240+ or
241241+ - [#n] if [n] is the name of a method, or
242242+ - [.(fun)] if the scope corresponds to an anonymous function.
243243+244244+ Note that the precise format may change in the future.
236245237246 @since 4.12 *)
238247