package tezos-plompiler

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

Parameters

module H : HASH
module L : sig ... end

Signature

type direction = L.scalar
type proof = (L.scalar * (L.scalar list * direction) list) L.repr
type root = L.scalar L.repr
val merkle_proof : int -> proof -> root -> bool L.repr L.t