Ah no sorry, I forgot I made an interface of that one. You have an example here:
https://github.com/mozart/mozart2/blob/master/vm/vm/main/modules/modweakref.hh#L68