Bonded.cov_rad: def of bend-prot@0.1.0.0
Import: import bend-prot@0.1.0.0/bonded.bend as Bonded
Lines 30-48 of bend-prot@0.1.0.0/bonded.bend: https://jend.leeeet.dev/read.txt?path=bend-prot@0.1.0.0/bonded.bend&start_line=30&end_line=48

import Base

# Harmonic bond energy k*(d - (ri+rj))^2 with covalent equilibrium; missing
# atoms answer 0.0. Lookups return (position & element) together so the
# equilibrium needs no extra pass.
def cov_rad(e: U32) -> F32:
  match e:
    case 1:
      0.31
    case 6:
      0.76
    case 7:
      0.71
    case 8:
      0.66
    case 15:
      1.07
    case 16:
      1.05
    case _:
      1.0

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Con
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Nil