package tezos-plompiler

  1. Overview
  2. Docs
package tezos-plompiler
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module Mec : sig ... end

Signature

type tree =
  1. | Leaf of Csir.Scalar.t
  2. | Branch of Csir.Scalar.t * tree list
val root : tree -> Csir.Scalar.t
val generate_tree : int -> int -> tree
val proof_path_narity : int list -> tree -> (Csir.Scalar.t list * Csir.Scalar.t) list * Csir.Scalar.t