law flatten_bonds_one
import bend-prot@0.1.0.0/LAWS.bend as LAWSimport 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.