Mavryk_baking_001_PtAtLas.Abstract_context_indextype t = {sync_fun : unit -> unit Lwt.t;checkout_fun : Mavryk_base.TzPervasives.Context_hash.t ->
Mavryk_protocol_environment.Context.t option Lwt.t;finalize_fun : unit -> unit Lwt.t;}val abstract : Mavryk_context.Context.index -> t