def count_below

bend-prot@0.1.0.0 · topology.bend:21

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

21def count_below(xs: List<&2, P.Atom>, +qp: G.Vec3, +c2: F32) -> Nat:
22  match xs:
23    case Nil{}:
24      0n
25    case h <> t:
26      Nat.add(count_below(t, qp, c2), head_hit_nat(h, qp, c2))