Chat_Bsky_Convo_DeleteMessageForSelf (cephalopod-models.Cephalopod_models.Chat_Bsky_Convo

type main_input = {

}

val pp_main_input : 
  Ppx_deriving_runtime.Format.formatter ->
  main_input ->
  Ppx_deriving_runtime.unit

val show_main_input : main_input -> Ppx_deriving_runtime.string

val main_input_of_value : main_input Cephalopod_dasl.Value.Util.conv

val main_input_to_value : main_input -> Cephalopod_dasl.Value.t

type main_output = Types.chat_bsky_convo_defs_deletedmessageview

val pp_main_output : 
  Ppx_deriving_runtime.Format.formatter ->
  main_output ->
  Ppx_deriving_runtime.unit

val show_main_output : main_output -> Ppx_deriving_runtime.string

val main_output_of_value : main_output Cephalopod_dasl.Value.Util.conv

val main_output_to_value : main_output -> Cephalopod_dasl.Value.t

val main : (unit, main_input, main_output, unit) Base.procedure