zero top-level property

FieldElement zero
getter/setter pair

Implementation

var zero = FieldElement();