Module field 

Modules

field

Structs

Params

Enums

Boolean

CircuitVar

Our implementation of cvars (compare to OCaml) is incomplete, but sufficient for now (for witness generation). It’s also sometimes not used correctly (CircuitVar<GroupAffine<F>> should be GroupAffine<CircuitVar<F>> instead)

Traits

FieldWitness

All the generics we need during witness generation

FromFpFq

Trait helping converting generics into concrete types

IntoGeneric

Trait helping converting concrete types into generics

ToBoolean

Type Aliases

GroupAffine