law rmsd_checked_none

bend-prot@0.1.0.0 · LAWS.bend:302

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

302# Unequal lengths answer None{} instead of a silent zero.
303law rmsd_checked_none:
304  for x: P.Atom
305  {R.rmsd_checked([x], empty_atoms()) == None{} : Maybe<&2, F32>}

Uses (6)

Used by (0)

No other definition uses this definition.