law infer_row_cons

bend-prot@0.1.0.0 · LAWS.bend:780

import Base
import bend-prot@0.1.0.0/geom.bend as G
import bend-prot@0.1.0.0/protein.bend as P
import bend-prot@0.1.0.0/bonded.bend as B

780# An inference row splits head from tail.
781law infer_row_cons:
782  for si: U32
783  for pi: G.Vec3
784  for ei: U32
785  for h: P.Atom
786  for t: List<&2, P.Atom>
787  {B.infer_row(si, pi, ei, h <> t) == B.append_infer(B.infer_one(si, pi, ei, P.Atom.serial(h), P.Atom.elem(h), P.Atom.pos(h)), B.infer_row(si, pi, ei, t)) : List<&1, U32 & U32>}