tezos-protocol-plugin-013-PtJakart 13.0

module S : sig ... end

val kind : 
  'a Tezos_protocol_013_PtJakart.Protocol.Environment.RPC_context.simple ->
  'a ->
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Sc_rollup.Address.t ->
  unit ->
  (Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Sc_rollup.Kind.t option,
    Tezos_base.TzPervasives.Error_monad.tztrace)
    result
    Lwt.t

val register_inbox : unit -> unit

val register_kind : unit -> unit

val register_initial_level : unit -> unit

val register_root : unit -> unit

val register : unit -> unit

val list : 
  'a Tezos_protocol_013_PtJakart.Protocol.Environment.RPC_context.simple ->
  'a ->
  (Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Sc_rollup.Address.t list,
    Tezos_base.TzPervasives.Error_monad.tztrace)
    result
    Lwt.t

val initial_level : 
  'a Tezos_protocol_013_PtJakart.Protocol.Environment.RPC_context.simple ->
  'a ->
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Sc_rollup.Address.t ->
  unit ->
  (Tezos_protocol_013_PtJakart.Protocol.Raw_level_repr.raw_level,
    Tezos_base.TzPervasives.Error_monad.tztrace)
    result
    Lwt.t