package octez-plompiler

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Package contains no libraries

Parameters

module L : sig ... end

type path

type leaf = L.scalar

type root = L.scalar

val path_encoding : 
  (P.path, path, (L.scalar * bool) list)
    Plompiler__.Encoding.Encodings(L).encoding

val merkle_proof : path -> leaf L.repr -> root L.repr -> bool L.repr L.t