law min_link2_cons

bend-prot@0.1.0.0 · LAWS.bend:128

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

128# Set linkage folds one head linkage into the running best.
129law min_link2_cons:
130  for h: P.Atom
131  for t: List<&2, P.Atom>
132  for ys: List<&2, P.Atom>
133  {T.min_link2(h <> t, ys) == T.min_maybe(T.min_link2(t, ys), T.head_link(h, ys)) : Maybe<&2, F32>}