Cephalopod_models.App_Bsky_Notification_Defslexicon "app.bsky.notification.defs"
type nonrec recorddeleted = Types.app_bsky_notification_defs_recorddeletedval pp_recorddeleted :
Ppx_deriving_runtime.Format.formatter ->
Types.app_bsky_notification_defs_recorddeleted ->
Ppx_deriving_runtime.unitval recorddeleted_of_value :
Types.app_bsky_notification_defs_recorddeleted
Cephalopod_dasl.Value.Util.convval recorddeleted_to_value :
Types.app_bsky_notification_defs_recorddeleted ->
Cephalopod_dasl.Value.t