law complex_atoms_nil

bend-prot@0.1.0.0 · LAWS.bend:53

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

53# An empty complex holds no atoms.
54law complex_atoms_nil:
55  {P.Complex.num_atoms(empty_cx()) == 0n : Nat}