Forge (mavkit-protocol-001-PtAtLas-libs.Mavryk_protocol_plugin_001

module S : sig ... end

val register : unit -> unit

module Manager : sig ... end

val operation : 
  'a Mavryk_protocol_001_PtAtLas.Environment.RPC_context.simple ->
  'b ->
  branch:Mavryk_protocol_environment_001_PtAtLas.Block_hash.t ->
  'c Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.contents ->
  Mavryk_protocol_environment_001_PtAtLas.Bytes.t
    Mavryk_protocol_environment_001_PtAtLas.Error_monad.shell_tzresult
    Mavryk_protocol_environment_001_PtAtLas.Lwt.t

val attestation : 
  'a Mavryk_protocol_001_PtAtLas.Environment.RPC_context.simple ->
  'b ->
  branch:Mavryk_protocol_environment_001_PtAtLas.Block_hash.t ->
  consensus_content:
    Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.consensus_content ->
  unit ->
  Mavryk_protocol_environment_001_PtAtLas.Bytes.t
    Mavryk_protocol_environment_001_PtAtLas.Error_monad.shell_tzresult
    Mavryk_protocol_environment_001_PtAtLas.Lwt.t

val proposals : 
  'a Mavryk_protocol_001_PtAtLas.Environment.RPC_context.simple ->
  'b ->
  branch:Mavryk_protocol_environment_001_PtAtLas.Block_hash.t ->
  source:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.public_key_hash ->
  period:int32 ->
  proposals:Mavryk_protocol_environment_001_PtAtLas.Protocol_hash.t list ->
  unit ->
  Mavryk_protocol_environment_001_PtAtLas.Bytes.t
    Mavryk_protocol_environment_001_PtAtLas.Error_monad.shell_tzresult
    Mavryk_protocol_environment_001_PtAtLas.Lwt.t

val ballot : 
  'a Mavryk_protocol_001_PtAtLas.Environment.RPC_context.simple ->
  'b ->
  branch:Mavryk_protocol_environment_001_PtAtLas.Block_hash.t ->
  source:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.public_key_hash ->
  period:int32 ->
  proposal:Mavryk_protocol_environment_001_PtAtLas.Protocol_hash.t ->
  ballot:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Vote.ballot ->
  unit ->
  Mavryk_protocol_environment_001_PtAtLas.Bytes.t
    Mavryk_protocol_environment_001_PtAtLas.Error_monad.shell_tzresult
    Mavryk_protocol_environment_001_PtAtLas.Lwt.t

val failing_noop : 
  'a Mavryk_protocol_001_PtAtLas.Environment.RPC_context.simple ->
  'b ->
  branch:Mavryk_protocol_environment_001_PtAtLas.Block_hash.t ->
  message:string ->
  unit ->
  Mavryk_protocol_environment_001_PtAtLas.Bytes.t
    Mavryk_protocol_environment_001_PtAtLas.Error_monad.shell_tzresult
    Mavryk_protocol_environment_001_PtAtLas.Lwt.t

val seed_nonce_revelation : 
  'a Mavryk_protocol_001_PtAtLas.Environment.RPC_context.simple ->
  'b ->
  branch:Mavryk_protocol_environment_001_PtAtLas.Block_hash.t ->
  level:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Raw_level.t ->
  nonce:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Nonce.t ->
  unit ->
  Mavryk_protocol_environment_001_PtAtLas.Bytes.t
    Mavryk_protocol_environment_001_PtAtLas.Error_monad.shell_tzresult
    Mavryk_protocol_environment_001_PtAtLas.Lwt.t

val vdf_revelation : 
  'a Mavryk_protocol_001_PtAtLas.Environment.RPC_context.simple ->
  'b ->
  branch:Mavryk_protocol_environment_001_PtAtLas.Block_hash.t ->
  solution:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Seed.vdf_solution ->
  unit ->
  Mavryk_protocol_environment_001_PtAtLas.Bytes.t
    Mavryk_protocol_environment_001_PtAtLas.Error_monad.shell_tzresult
    Mavryk_protocol_environment_001_PtAtLas.Lwt.t

val double_baking_evidence : 
  'a Mavryk_protocol_001_PtAtLas.Environment.RPC_context.simple ->
  'b ->
  branch:Mavryk_protocol_environment_001_PtAtLas.Block_hash.t ->
  bh1:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Block_header.t ->
  bh2:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Block_header.t ->
  unit ->
  Mavryk_protocol_environment_001_PtAtLas.Bytes.t
    Mavryk_protocol_environment_001_PtAtLas.Error_monad.shell_tzresult
    Mavryk_protocol_environment_001_PtAtLas.Lwt.t

val double_attestation_evidence : 
  'a Mavryk_protocol_001_PtAtLas.Environment.RPC_context.simple ->
  'b ->
  branch:Mavryk_protocol_environment_001_PtAtLas.Block_hash.t ->
  op1:
    Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.attestation
      Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.operation ->
  op2:
    Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.attestation
      Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.operation ->
  unit ->
  Mavryk_protocol_environment_001_PtAtLas.Bytes.t
    Mavryk_protocol_environment_001_PtAtLas.Error_monad.shell_tzresult
    Mavryk_protocol_environment_001_PtAtLas.Lwt.t

val double_preattestation_evidence : 
  'a Mavryk_protocol_001_PtAtLas.Environment.RPC_context.simple ->
  'b ->
  branch:Mavryk_protocol_environment_001_PtAtLas.Block_hash.t ->
  op1:
    Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.preattestation
      Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.operation ->
  op2:
    Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.preattestation
      Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.operation ->
  unit ->
  Mavryk_protocol_environment_001_PtAtLas.Bytes.t
    Mavryk_protocol_environment_001_PtAtLas.Error_monad.shell_tzresult
    Mavryk_protocol_environment_001_PtAtLas.Lwt.t

val empty_proof_of_work_nonce : bytes

val protocol_data : 
  'a Mavryk_protocol_001_PtAtLas.Environment.RPC_context.simple ->
  'b ->
  ?payload_hash:Mavryk_protocol_001_PtAtLas.Protocol.Block_payload_hash.t ->
  ?payload_round:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Round.t ->
  ?seed_nonce_hash:Mavryk_protocol_001_PtAtLas.Protocol.Nonce_hash.t ->
  ?proof_of_work_nonce:Mavryk_protocol_environment_001_PtAtLas.Bytes.t ->
  liquidity_baking_toggle_vote:
    Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Per_block_votes.per_block_vote ->
  adaptive_issuance_vote:
    Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Per_block_votes.per_block_vote ->
  unit ->
  Mavryk_protocol_environment_001_PtAtLas.Bytes.t
    Mavryk_protocol_environment_001_PtAtLas.Error_monad.shell_tzresult
    Mavryk_protocol_environment_001_PtAtLas.Lwt.t