style: remove confusing underscore
This commit is contained in:
parent
a5c955fb63
commit
509fbb2c5c
|
@ -138,8 +138,8 @@ StateDiff = List[StemStateDiff, MAX_STEMS]
|
||||||
|
|
||||||
```python
|
```python
|
||||||
class IpaProof(Container):
|
class IpaProof(Container):
|
||||||
c_l: Vector[BanderwagonGroupElement, IPA_PROOF_DEPTH]
|
cl: Vector[BanderwagonGroupElement, IPA_PROOF_DEPTH]
|
||||||
c_r: Vector[BanderwagonGroupElement, IPA_PROOF_DEPTH]
|
cr: Vector[BanderwagonGroupElement, IPA_PROOF_DEPTH]
|
||||||
final_evaluation = BanderwagonFieldElement
|
final_evaluation = BanderwagonFieldElement
|
||||||
```
|
```
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue