Com_Atproto_Identity_SubmitPlcOperation (cephalopod-models.Cephalopod_models.Com_Atproto_Identity

def main

type main_input = {

operation : Cephalopod_dasl.Value.t;

}

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

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

Validates a PLC operation to ensure that it doesn't violate a service's constraints or get the identity into a bad state, then submits it to the PLC registry