law rmsd_checked_some

bend-prot@0.1.0.0 · LAWS.bend:296

import Base
import bend-prot@0.1.0.0/protein.bend as P
import bend-prot@0.1.0.0/rmsd.bend as R

296# Equal-length singletons check cleanly.
297law rmsd_checked_some:
298  for x: P.Atom
299  for y: P.Atom
300  {R.rmsd_checked([x], [y]) == Some{R.rmsd([x], [y])} : Maybe<&2, F32>}