package plebeia

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

Signature

module Name = Base.Name
type name = Name.t
module Path = Base.Path
module FsError = Base.FsError
type error = FsError.t
type view = Node_type.view
type raw_cursor = Cursor.t
type cursor = {
  1. cur : Cursor.t;
  2. rev_path : Name.t list;
}
type hash = Hash.Prefix.t
val make : Cursor.t -> Name.t list -> cursor
val empty : Context.t -> cursor
val get_raw_cursor : cursor -> Cursor.t
val get_view : cursor -> cursor * Node_type.view
val context : cursor -> Context.t
val split : 'a list -> 'a list * 'a
module Op : sig ... end
module Op_lwt : sig ... end
module Merkle_proof : sig ... end
module Vc : sig ... end
val write_top_cursor : cursor -> (cursor * (Index.t * Hash.Prefix.t), Error.t) result