Sim.temp_of_ds: def of bend-prot@0.1.0.0
Import: import bend-prot@0.1.0.0/sim.bend as Sim
Lines 114-115 of bend-prot@0.1.0.0/sim.bend: https://jend.leeeet.dev/read.txt?path=bend-prot@0.1.0.0/sim.bend&start_line=114&end_line=115

import Base

def temp_of_ds(ds: List<&2, DynAtom>, n: Nat) -> F32:
  temp_of_ke(ke_sim_of(ds), n)

Uses (6):
  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=Nat
  https://jend.leeeet.dev/definition.txt?path=bend-prot@0.1.0.0/sim.bend&name=DynAtom
  https://jend.leeeet.dev/definition.txt?path=bend-prot@0.1.0.0/sim.bend&name=ke_sim_of
  https://jend.leeeet.dev/definition.txt?path=bend-prot@0.1.0.0/sim.bend&name=temp_of_ke