Field.pow_bits: def of bend-collections@1.0.0.0
Import: import bend-collections@1.0.0.0/src/crypto/curve25519/field.bend as Field
Lines 235-244 of bend-collections@1.0.0.0/src/crypto/curve25519/field.bend: https://jend.leeeet.dev/read.txt?path=bend-collections@1.0.0.0/src/crypto/curve25519/field.bend&start_line=235&end_line=244

import Base

def pow_bits(+x: List<&2, U32>, bs: List<&2, Bool>, acc: List<&2, U32>) -> List<&2, U32>:
  match x:
    case Nil{}:
      acc
    case Con{h, t}:
      match bs:
        case Nil{}:
          acc
        case Con{b, bt}:
          pow_bits(x, bt, pow_bit(b, x, acc))

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/curve25519/field.bend&name=pow_bit