| l1_xi | ZkFold.Base.Protocol.Plonkup.Proof |
| last | ZkFold.Symbolic.Data.List |
| Layout | ZkFold.Symbolic.Data.Class |
| LayoutFunctor | ZkFold.Symbolic.Data.Class |
| lcmM | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| leBytesOf | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
| Length | ZkFold.Symbolic.Data.Combinators |
| length | ZkFold.Prelude |
| Length' | ZkFold.Symbolic.Data.Combinators |
| lHash | ZkFold.Symbolic.Data.List |
| LinUVar | ZkFold.Symbolic.Compiler.ArithmeticCircuit.WitnessEstimation |
| LinVar | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Var, ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal |
| List | |
| 1 (Type/Class) | ZkFold.Symbolic.Data.List |
| 2 (Data Constructor) | ZkFold.Symbolic.Data.List |
| ListItem | |
| 1 (Type/Class) | ZkFold.Symbolic.Data.List |
| 2 (Data Constructor) | ZkFold.Symbolic.Data.List |
| ListRange | ZkFold.Symbolic.Data.Combinators |
| LittleEndian | |
| 1 (Type/Class) | ZkFold.Base.Data.ByteString |
| 2 (Data Constructor) | ZkFold.Base.Data.ByteString |
| lkVar | ZkFold.Base.Protocol.Plonkup.LookupConstraint |
| Log2 | ZkFold.Base.Algebra.Basic.Number |
| log2 | ZkFold.Symbolic.Data.Combinators |
| log2ceiling | ZkFold.Prelude |
| LookupConstraint | |
| 1 (Type/Class) | ZkFold.Base.Protocol.Plonkup.LookupConstraint |
| 2 (Data Constructor) | ZkFold.Base.Protocol.Plonkup.LookupConstraint |
| LookupTable | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Lookup |
| LookupType | |
| 1 (Type/Class) | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Lookup |
| 2 (Data Constructor) | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Lookup |
| lSize | ZkFold.Symbolic.Data.List |
| lt | |
| 1 (Function) | ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| 2 (Function) | ZkFold.Base.Algebra.Polynomials.Univariate |
| 3 (Function) | ZkFold.Symbolic.Data.Ord |
| lTable | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Lookup |
| lWitness | ZkFold.Symbolic.Data.List |