package tezos-protocol-014-PtKathma

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

Parameters

module Tree : TREE

Signature

type tree = Tree.tree
type message = tree
type messages = tree
type history
val history_at_genesis : bound:int64 -> history
type inclusion_proof
val number_of_proof_steps : inclusion_proof -> int
val produce_inclusion_proof : history -> t -> t -> inclusion_proof option
val verify_inclusion_proof : inclusion_proof -> t -> t -> bool
OCaml

Innovation. Community. Security.