ParentFull threadvsroy·Yes, it must be placed in the same file as the type itself.Side note: It is a Babel macro :)View on HN