Re: Minor manual nitpick

[Sergey Zakharchenko <doublef.mobile@...>]

List,

> > https://github.com/lua/lua/blob/af6d9f31165a13c34c0601f37ca5a67c365d1d01/manual/manual.of#L1798

By the way, the "detectable difference" between functions, especially
if you mean detectable at runtime without debug tricks and
string.dump() (i.e. different extensionally as some would put it), is
quite vague and surprisingly hard to decide upon in practice (trust
me, I know). Any chance of this being elaborated further?

Best regards,

-- 
DoubleF

P.S.

> Freudian slip?

Certainly hope not...