package plebeia

You can search for identifiers within the package.

in-package search v0.2.0

Module `WithSimulation.F`Source

Sourcemodule Name : sig ... end

Sourcetype name = Name.t

Sourcemodule Path : sig ... end

Sourcemodule FsError : sig ... end

Sourcetype error = FsError.t

Sourcetype view = Plebeia.Node_type.view

Sourcetype raw_cursor = Plebeia.Cursor.t

Sourcetype cursor = {

}

Sourcetype hash = Plebeia.Hash.Prefix.t

Sourceval make : Plebeia.Cursor.t -> Name.t list -> cursor

Sourceval empty : Plebeia.Context.t -> cursor

Sourceval get_raw_cursor : cursor -> Plebeia.Cursor.t

Sourceval get_view : cursor -> cursor * Plebeia.Node_type.view

Sourceval context : cursor -> Plebeia.Context.t

Sourceval split : 'a list -> 'a list * 'a

Sourcemodule Op : sig ... end

Sourcemodule Op_lwt : sig ... end

Sourcemodule Merkle_proof : sig ... end

Sourcemodule Vc : sig ... end

val write_top_cursor : 
  cursor ->
  (cursor * (Plebeia.Index.t * Plebeia.Hash.Prefix.t), Plebeia.Error.t) result