Mockup (mavkit-protocol-001-PtAtLas-libs.Mavryk_client_001

module Protocol_constants_overrides : sig ... end

Protocol constants overriding logic.

module Parsed_account : sig ... end

module Bootstrap_account : sig ... end

module Bootstrap_contract : sig ... end

module Protocol_parameters : sig ... end

val lib_parameters_json_encoding : 
  ((Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Parameters.bootstrap_account
      list
      option
    * Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Commitment.t list
        option)
   * Protocol_constants_overrides.t)
    Mavryk_base.TzPervasives.Data_encoding.encoding

type block = {

hash : Mavryk_base.TzPervasives.Block_hash.t;
header : Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Block_header.t;
operations : Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Operation.packed list;
context : Mavryk_protocol_001_PtAtLas.Environment.Context.t;

}

module Forge : sig ... end

val genesis_block_hash : Mavryk_base.TzPervasives.Block_hash.t

val attestation_branch_data_encoding : 
  (Mavryk_base.TzPervasives.Block_hash.t
   * Mavryk_protocol_001_PtAtLas.Protocol.Block_payload_hash.t)
    Mavryk_base.TzPervasives.Data_encoding.encoding

val initial_context : 
  Mavryk_protocol_environment_001_PtAtLas.Chain_id.t ->
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Block_header.shell_header ->
  Protocol_parameters.t ->
  (Mavryk_protocol_environment.Context.t, Mavryk_base.TzPervasives.tztrace)
    Stdlib.result
    Lwt.t

val mem_init : 
  cctxt:Mavryk_client_base.Client_context.printer ->
  parameters:Protocol_parameters.t ->
  constants_overrides_json:Mavryk_base.TzPervasives.Data_encoding.json option ->
  bootstrap_accounts_json:Mavryk_base.TzPervasives.Data_encoding.json option ->
  Mavryk_mockup_registration.Registration.mockup_context
    Mavryk_base.TzPervasives.tzresult
    Lwt.t

val migrate : 
  Mavryk_mockup_registration.Registration.mockup_context ->
  Mavryk_mockup_registration.Registration.mockup_context
    Mavryk_base.TzPervasives.tzresult
    Lwt.t

module M : 
  Mavryk_mockup_registration.Registration_intf.MOCKUP
    with module Protocol = Mavryk_protocol_001_PtAtLas_lifted.Lifted_protocol