Sasa.has_other_close: def of bend-prot@0.1.0.0
Import: import bend-prot@0.1.0.0/sasa.bend as Sasa
Lines 29-37 of bend-prot@0.1.0.0/sasa.bend: https://jend.leeeet.dev/read.txt?path=bend-prot@0.1.0.0/sasa.bend&start_line=29&end_line=37

import Base
import bend-prot@0.1.0.0/geom.bend as G
import bend-prot@0.1.0.0/protein.bend as P

# Any atom but `skip` within rc2 of the sample point occludes it.
def has_other_close(
  xs: List<&2, P.Atom>, +pt: G.Vec3, +rc2: F32, +skip: U32
) -> Bool:
  match xs:
    case Nil{}:
      False{}
    case h <> t:
      Bool.or(has_other_close(t, pt, rc2, skip), occ_head(h, pt, rc2, skip))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  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-prot@0.1.0.0/geom.bend&name=Vec3
  https://jend.leeeet.dev/definition.txt?path=bend-prot@0.1.0.0/protein.bend&name=Atom
  https://jend.leeeet.dev/definition.txt?path=bend-prot@0.1.0.0/sasa.bend&name=occ_head