Pickles_types (pickles_types.Pickles

module Abc : sig ... end

module At_most : sig ... end

Implementing structure with pre-defined length

module Hlist : sig ... end

Basic primitives for inductive rules. In particular, heterogeneous lists (H1, H2, ...) whose length and element types are known at compile-time.

module Hlist0 : sig ... end

module Nat : sig ... end

Representation of naturals for Pickles

module Or_infinity : sig ... end

module Pcs_batch : sig ... end

module Plonk_types : sig ... end

module Plonk_verification_key_evals : sig ... end

module Poly_types : sig ... end

The following module types define the different kinds of terms at the type level by their arity. These types are manipulated and passed around as parameters of the various functors defined in Hlist.

module Shifted_value : sig ... end

module Sigs : sig ... end

Type definitions and module signatures for library Pickles_types

module Vector : sig ... end

Vectors for Pickles