Module Empty.Context

val read : Mavryk_rpc.Context.simple -> ?chain:chain -> ?block:block -> ?depth:int -> string list -> Proof.raw_context Mavryk_base.TzPervasives.tzresult Lwt.t
val merkle_tree : Mavryk_rpc.Context.simple -> ?chain:chain -> ?block:block -> ?holey:bool -> string list -> Proof.tree Proof.t option Mavryk_base.TzPervasives.tzresult Lwt.t