type EC1

bendtorch-gpu@1.3.0.0 · main.bend:1401

import Base

1401# 1. a leaf a row: st[3t] = x[y] - m, st[3t + 1] = m (x[y] read only when y is a class)
1402type EC1 is Data:
1403  EC1{k: U32, c1: Nat, c32: U32}