Baking_highwatermarks (octez-protocol-alpha-libs.Tezos_baking_alpha.Baking

type highwatermark = {

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

}

type Tezos_base.TzPervasives.error +=

| Block_previously_baked of highwatermark

type Tezos_base.TzPervasives.error +=

| Block_previously_preattested of highwatermark

type Tezos_base.TzPervasives.error +=

| Block_previously_attested of highwatermark

type t

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

val may_sign_block : 
  Tezos_client_alpha.Protocol_client_context.full ->
  [ `Highwatermarks ] Baking_files.location ->
  delegate:Baking_state_types.Key_id.t ->
  level:int32 ->
  round:Tezos_protocol_alpha.Protocol.Alpha_context.Round.t ->
  bool Tezos_base.TzPervasives.tzresult Lwt.t

val may_sign_preattestation : 
  t ->
  delegate:Baking_state_types.Key_id.t ->
  level:int32 ->
  round:Tezos_protocol_alpha.Protocol.Alpha_context.Round.t ->
  bool

val may_sign_attestation : 
  t ->
  delegate:Baking_state_types.Key_id.t ->
  level:int32 ->
  round:Tezos_protocol_alpha.Protocol.Alpha_context.Round.t ->
  bool

val record_block : 
  Tezos_client_alpha.Protocol_client_context.full ->
  [ `Highwatermarks ] Baking_files.location ->
  delegate:Baking_state_types.Key_id.t ->
  level:int32 ->
  round:Tezos_protocol_alpha.Protocol.Alpha_context.Round.t ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val record_preattestation : 
  Tezos_client_alpha.Protocol_client_context.full ->
  [ `Highwatermarks ] Baking_files.location ->
  delegate:Baking_state_types.Key_id.t ->
  level:int32 ->
  round:Tezos_protocol_alpha.Protocol.Alpha_context.Round.t ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val record_attestation : 
  Tezos_client_alpha.Protocol_client_context.full ->
  [ `Highwatermarks ] Baking_files.location ->
  delegate:Baking_state_types.Key_id.t ->
  level:int32 ->
  round:Tezos_protocol_alpha.Protocol.Alpha_context.Round.t ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val record_all_preattestations : 
  t ->
  Tezos_client_alpha.Protocol_client_context.full ->
  [ `Highwatermarks ] Baking_files.location ->
  delegates:Baking_state_types.Key_id.t list ->
  level:int32 ->
  round:Tezos_protocol_alpha.Protocol.Alpha_context.Round.t ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val record_all_attestations : 
  t ->
  Tezos_client_alpha.Protocol_client_context.full ->
  [ `Highwatermarks ] Baking_files.location ->
  delegates:Baking_state_types.Key_id.t list ->
  level:int32 ->
  round:Tezos_protocol_alpha.Protocol.Alpha_context.Round.t ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t