Cephalopod_models.Com_Atproto_Server_RequestEmailUpdatelexicon "com.atproto.server.requestEmailUpdate"
val pp_main_output :
Ppx_deriving_runtime.Format.formatter ->
main_output ->
Ppx_deriving_runtime.unitval show_main_output : main_output -> Ppx_deriving_runtime.stringval main_output_of_value : main_output Cephalopod_dasl.Value.Util.convval main_output_to_value : main_output -> Cephalopod_dasl.Value.tval main : (unit, unit, main_output, unit) Base.procedureRequest a token in order to update email.