Another option, encouraged by brr’s identifier convention is to prime them, obj##new'. These final underscores always leave me wanting for more, they look like typos to me :–)
(Though that likely doesn’t work for that particular ppx)
Another option, encouraged by brr’s identifier convention is to prime them, obj##new'. These final underscores always leave me wanting for more, they look like typos to me :–)
(Though that likely doesn’t work for that particular ppx)