law tpl_total_nil

bend-prot@0.1.0.0 · LAWS.bend:961

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

961law tpl_total_nil:
962  {Tpl.tpl_total(Nil{}) == Nil{} : List<&1, U32 & U32>}