law pos_of_serial_none

bend-prot@0.1.0.0 · LAWS.bend:552

import Base
import bend-prot@0.1.0.0/geom.bend as G
import bend-prot@0.1.0.0/bonded.bend as B

552# Nobody is found in nothing.
553law pos_of_serial_none:
554  for s: U32
555  {B.pos_of_serial(empty_atoms(), s) == None{} : Maybe<&2, G.Vec3>}