law sasa_total_cons

bend-prot@0.1.0.0 · LAWS.bend:424

import Base
import bend-prot@0.1.0.0/sasa.bend as S

424# Total area splits head from tail.
425law sasa_total_cons:
426  for h: F32
427  for t: List<&2, F32>
428  {S.sasa_total(h <> t) == (h + S.sasa_total(t) : F32) : F32}