Up – kimchi_backend » Kimchi_backend_common » Dlog_plonk_based_keypair » Make » 1-Inputs » Index

Module `1-Inputs.Index`

type t

val create : Gate_vector.t -> int -> int -> Urs.t -> t