Baking_highwatermarks (mavkit-protocol-alpha-libs.Mavryk_baking_alpha.Baking

type highwatermark = {

round : Mavryk_protocol_alpha.Protocol.Alpha_context.Round.t;
level : int32;

}

type Mavryk_base.TzPervasives.error +=

| Block_previously_baked of highwatermark

type Mavryk_base.TzPervasives.error +=

| Block_previously_preattested of highwatermark

type Mavryk_base.TzPervasives.error +=

| Block_previously_attested of highwatermark

type t

val load : 
  Mavryk_client_alpha.Protocol_client_context.full ->
  [ `Highwatermarks ] Baking_files.location ->
  t Mavryk_base.TzPervasives.tzresult Lwt.t

val may_sign_block : 
  Mavryk_client_alpha.Protocol_client_context.full ->
  [ `Highwatermarks ] Baking_files.location ->
  delegate:Mavryk_base.TzPervasives.Signature.public_key_hash ->
  level:int32 ->
  round:Mavryk_protocol_alpha.Protocol.Alpha_context.Round.t ->
  bool Mavryk_base.TzPervasives.tzresult Lwt.t

val may_sign_preattestation : 
  t ->
  delegate:Mavryk_base.TzPervasives.Signature.public_key_hash ->
  level:int32 ->
  round:Mavryk_protocol_alpha.Protocol.Alpha_context.Round.t ->
  bool

val may_sign_attestation : 
  t ->
  delegate:Mavryk_base.TzPervasives.Signature.public_key_hash ->
  level:int32 ->
  round:Mavryk_protocol_alpha.Protocol.Alpha_context.Round.t ->
  bool

val record_block : 
  Mavryk_client_alpha.Protocol_client_context.full ->
  [ `Highwatermarks ] Baking_files.location ->
  delegate:Mavryk_base.TzPervasives.Signature.public_key_hash ->
  level:int32 ->
  round:Mavryk_protocol_alpha.Protocol.Alpha_context.Round.t ->
  unit Mavryk_base.TzPervasives.tzresult Lwt.t

val record_preattestation : 
  Mavryk_client_alpha.Protocol_client_context.full ->
  [ `Highwatermarks ] Baking_files.location ->
  delegate:Mavryk_base.TzPervasives.Signature.public_key_hash ->
  level:int32 ->
  round:Mavryk_protocol_alpha.Protocol.Alpha_context.Round.t ->
  unit Mavryk_base.TzPervasives.tzresult Lwt.t

val record_attestation : 
  Mavryk_client_alpha.Protocol_client_context.full ->
  [ `Highwatermarks ] Baking_files.location ->
  delegate:Mavryk_base.TzPervasives.Signature.public_key_hash ->
  level:int32 ->
  round:Mavryk_protocol_alpha.Protocol.Alpha_context.Round.t ->
  unit Mavryk_base.TzPervasives.tzresult Lwt.t

val record_all_preattestations : 
  t ->
  Mavryk_client_alpha.Protocol_client_context.full ->
  [ `Highwatermarks ] Baking_files.location ->
  delegates:Mavryk_protocol_alpha.Protocol.Alpha_context.public_key_hash list ->
  level:int32 ->
  round:Mavryk_protocol_alpha.Protocol.Alpha_context.Round.t ->
  unit Mavryk_base.TzPervasives.tzresult Lwt.t

val record_all_attestations : 
  t ->
  Mavryk_client_alpha.Protocol_client_context.full ->
  [ `Highwatermarks ] Baking_files.location ->
  delegates:Mavryk_protocol_alpha.Protocol.Alpha_context.public_key_hash list ->
  level:int32 ->
  round:Mavryk_protocol_alpha.Protocol.Alpha_context.Round.t ->
  unit Mavryk_base.TzPervasives.tzresult Lwt.t