law tpl_row_cons

bend-prot@0.1.0.0 · LAWS.bend:955

import Base
import bend-prot@0.1.0.0/tpl.bend as Tpl

955law tpl_row_cons:
956  for a: Tpl.TplAtom
957  for h: Tpl.TplAtom
958  for t: List<&2, Tpl.TplAtom>
959  {Tpl.tpl_row(a, h <> t) == Tpl.append_tpl(Tpl.tpl_one(a, h), Tpl.tpl_row(a, t)) : List<&1, U32 & U32>}