package octez-protocol-017-PtNairob-libs

  1. Overview
  2. Docs
package octez-protocol-017-PtNairob-libs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Dummy_zk_rollup.TypesSource

Types used for the Dummy Rollup circuits. This module is split into:

  • P: concrete OCaml version of the types,
  • V: Plompiler's circuit representation for P's types, and
  • Encodings: conversion between P and V.
Sourcemodule P : sig ... end
Sourcemodule V (L : Plompiler.LIB) : sig ... end
Sourcemodule Encodings (L : Plompiler.LIB) : sig ... end