trtt Thu, 05 Mar 2020 07:45:20 -0800
But if I have something like Xp = distinct ptr X then how can I access the fields of X through an Xp?