package plebeia

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

Module WithSimulation.FSource

Sourcemodule Name : sig ... end
Sourcetype name = Name.t
Sourcemodule Path : sig ... end
Sourcemodule FsError : sig ... end
Sourcetype error = FsError.t
Sourcetype raw_cursor = Plebeia.Cursor.t
Sourcetype cursor = {
  1. cur : Plebeia.Cursor.t;
  2. rev_path : Name.t list;
}
Sourceval make : Plebeia.Cursor.t -> Name.t list -> cursor
Sourceval get_raw_cursor : cursor -> Plebeia.Cursor.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
OCaml

Innovation. Community. Security.