Module Cephalopod_models.Chat_Bsky_Convo_UpdateRead

lexicon "chat.bsky.convo.updateRead"

def main

type main_input = {
  1. convoId : string;
  2. messageId : string option;
}
val show_main_input : main_input -> Ppx_deriving_runtime.string
val main_input_to_value : main_input -> Cephalopod_dasl.Value.t
type main_output = {
  1. convo : Types.chat_bsky_convo_defs_convoview;
}
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