package octez-libs

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

module Main_Pack = Aggregation.Main_protocol

module L = Plompiler.LibCircuit

module type CircuitPI = sig ... end

Tells the meta-verification proof what to do with the public inputs of the inner proofs

module type S = sig ... end

module No_public_input : CircuitPI

module One_public_input : CircuitPI

module Rollup_example : CircuitPI