Thread:Ursuul/@comment-33045619-20171116001947/@comment-26806340-20171116005414

We don't have a formal definition — you should assume it's whatever fits with the context, or specify what type if ambiguity is to be avoided.