tezos-protocol-plugin-012-Psithaca 16.0

module S : sig ... end

val register : unit -> unit

module Manager : sig ... end

val operation : 
  'a Tezos_protocol_012_Psithaca.Environment.RPC_context.simple ->
  'a ->
  branch:Tezos_protocol_environment_012_Psithaca.Block_hash.t ->
  'b Tezos_protocol_012_Psithaca.Protocol.Alpha_context.contents ->
  bytes Tezos_protocol_environment_012_Psithaca.Error_monad.shell_tzresult
    Tezos_protocol_environment_012_Psithaca.Lwt.t

val endorsement : 
  'a Tezos_protocol_012_Psithaca.Environment.RPC_context.simple ->
  'a ->
  branch:Tezos_protocol_environment_012_Psithaca.Block_hash.t ->
  consensus_content:
    Tezos_protocol_012_Psithaca.Protocol.Alpha_context.consensus_content ->
  unit ->
  bytes Tezos_protocol_environment_012_Psithaca.Error_monad.shell_tzresult
    Tezos_protocol_environment_012_Psithaca.Lwt.t

val proposals : 
  'a Tezos_protocol_012_Psithaca.Environment.RPC_context.simple ->
  'a ->
  branch:Tezos_protocol_environment_012_Psithaca.Block_hash.t ->
  source:Tezos_protocol_environment_012_Psithaca.Signature.Public_key_hash.t ->
  period:int32 ->
  proposals:Tezos_protocol_environment_012_Psithaca.Protocol_hash.t list ->
  unit ->
  bytes Tezos_protocol_environment_012_Psithaca.Error_monad.shell_tzresult
    Tezos_protocol_environment_012_Psithaca.Lwt.t

val ballot : 
  'a Tezos_protocol_012_Psithaca.Environment.RPC_context.simple ->
  'a ->
  branch:Tezos_protocol_environment_012_Psithaca.Block_hash.t ->
  source:Tezos_protocol_environment_012_Psithaca.Signature.Public_key_hash.t ->
  period:int32 ->
  proposal:Tezos_protocol_environment_012_Psithaca.Protocol_hash.t ->
  ballot:Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Vote.ballot ->
  unit ->
  bytes Tezos_protocol_environment_012_Psithaca.Error_monad.shell_tzresult
    Tezos_protocol_environment_012_Psithaca.Lwt.t

val failing_noop : 
  'a Tezos_protocol_012_Psithaca.Environment.RPC_context.simple ->
  'a ->
  branch:Tezos_protocol_environment_012_Psithaca.Block_hash.t ->
  message:string ->
  unit ->
  bytes Tezos_protocol_environment_012_Psithaca.Error_monad.shell_tzresult
    Tezos_protocol_environment_012_Psithaca.Lwt.t

val seed_nonce_revelation : 
  'a Tezos_protocol_012_Psithaca.Environment.RPC_context.simple ->
  'a ->
  branch:Tezos_protocol_environment_012_Psithaca.Block_hash.t ->
  level:Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Raw_level.t ->
  nonce:Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Nonce.t ->
  unit ->
  bytes Tezos_protocol_environment_012_Psithaca.Error_monad.shell_tzresult
    Tezos_protocol_environment_012_Psithaca.Lwt.t

val double_baking_evidence : 
  'a Tezos_protocol_012_Psithaca.Environment.RPC_context.simple ->
  'a ->
  branch:Tezos_protocol_environment_012_Psithaca.Block_hash.t ->
  bh1:Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Block_header.t ->
  bh2:Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Block_header.t ->
  unit ->
  bytes Tezos_protocol_environment_012_Psithaca.Error_monad.shell_tzresult
    Tezos_protocol_environment_012_Psithaca.Lwt.t

val double_endorsement_evidence : 
  'a Tezos_protocol_012_Psithaca.Environment.RPC_context.simple ->
  'a ->
  branch:Tezos_protocol_environment_012_Psithaca.Block_hash.t ->
  op1:
    Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Kind.endorsement
      Tezos_protocol_012_Psithaca.Protocol.Alpha_context.operation ->
  op2:
    Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Kind.endorsement
      Tezos_protocol_012_Psithaca.Protocol.Alpha_context.operation ->
  unit ->
  bytes Tezos_protocol_environment_012_Psithaca.Error_monad.shell_tzresult
    Tezos_protocol_environment_012_Psithaca.Lwt.t

val double_preendorsement_evidence : 
  'a Tezos_protocol_012_Psithaca.Environment.RPC_context.simple ->
  'a ->
  branch:Tezos_protocol_environment_012_Psithaca.Block_hash.t ->
  op1:
    Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Kind.preendorsement
      Tezos_protocol_012_Psithaca.Protocol.Alpha_context.operation ->
  op2:
    Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Kind.preendorsement
      Tezos_protocol_012_Psithaca.Protocol.Alpha_context.operation ->
  unit ->
  bytes Tezos_protocol_environment_012_Psithaca.Error_monad.shell_tzresult
    Tezos_protocol_environment_012_Psithaca.Lwt.t

val empty_proof_of_work_nonce : bytes

val protocol_data : 
  'a Tezos_protocol_012_Psithaca.Environment.RPC_context.simple ->
  'a ->
  ?payload_hash:Tezos_protocol_012_Psithaca.Protocol.Block_payload_hash.t ->
  ?payload_round:Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Round.t ->
  ?seed_nonce_hash:Tezos_protocol_012_Psithaca.Protocol.Nonce_hash.t ->
  ?proof_of_work_nonce:bytes ->
  liquidity_baking_escape_vote:bool ->
  unit ->
  bytes Tezos_protocol_environment_012_Psithaca.Error_monad.shell_tzresult
    Tezos_protocol_environment_012_Psithaca.Lwt.t

package tezos-protocol-plugin-012-Psithaca