law count_atoms_append

bend-prot@0.1.0.0 · LAWS.bend:339

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

339# Counting an append splits into the counts.
340law count_atoms_append:
341  for xs: List<&2, P.Atom>
342  for ys: List<&2, P.Atom>
343  {P.count_atoms(P.append_atoms(xs, ys)) == Nat.add(P.count_atoms(xs), P.count_atoms(ys)) : Nat}