law tpl_row_nil

bend-prot@0.1.0.0 · LAWS.bend:950

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

950# Template rows split head from tail.
951law tpl_row_nil:
952  for a: Tpl.TplAtom
953  {Tpl.tpl_row(a, Nil{}) == Nil{} : List<&1, U32 & U32>}