Com_Atproto_Identity_SignPlcOperation (cephalopod-models.Cephalopod_models.Com_Atproto_Identity

type main_input = {

token : string option;
(*
A token received through com.atproto.identity.requestPlcOperationSignature
*)
rotationKeys : string list option;
alsoKnownAs : string list option;
verificationMethods : Cephalopod_dasl.Value.t option;
services : Cephalopod_dasl.Value.t option;

}

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 = {

}

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

Signs a PLC operation to update some value(s) in the requesting DID's document.