law sasa_nil

bend-prot@0.1.0.0 · LAWS.bend:70

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

70# Nothing has no surface.
71law sasa_nil:
72  for rad: F32
73  for rc2: F32
74  for area_pt: F32
75  {S.sasa_all(empty_atoms(), S.sasa_offsets(), rad, empty_atoms(), rc2, area_pt) == Nil{} : List<&2, F32>}