law nn_push

lawful-fields@0.1.1.0 · proof_cut.bend:202

import Base
import lawful-fields@0.1.1.0/defs.bend as F

202law nn_push:
203  for +c: U32
204  for +ps: List<&2, List<&2, U32>>
205  {nn(F.split.push(c, ps)) == True{} : Bool}