Checked (consensus.Consensus.Proof_of_stake.Exported.Global

type t =
  ( Mina_numbers.Global_slot.Checked.t, Mina_numbers.Length.Checked.t ) Poly.t

val (<) : t -> t -> Snark_params.Tick.Boolean.var Snark_params.Tick.Checked.t

val of_slot_number : 
  constants:Constants.var ->
  Mina_numbers.Global_slot.Checked.t ->
  t

val to_input : t -> Snark_params.Tick.Field.Var.t Random_oracle.Input.Chunked.t

val to_epoch_and_slot : 
  t ->
  (Consensus__Epoch.Checked.var * Consensus__Slot.T.Checked.var)
    Snark_params.Tick.Checked.t

val sub : 
  t ->
  t ->
  Mina_numbers.Global_slot.Checked.t Snark_params.Tick.Checked.t

sub ~m x y computes x - y and ensures that 0 <= x - y