law flatten_bonds_one

bend-prot@0.1.0.0 · LAWS.bend:587

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

587# Pair bonds flatten in order.
588law flatten_bonds_one:
589  {B.flatten_bonds([(1, 2)]) == [1, 2] : List<&2, U32>}

Uses (4)

Used by (0)

No other definition uses this definition.