law nn_fin

lawful-fields@0.1.1.0 · proof_cut.bend:214

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

214law nn_fin:
215  for +c: U32
216  for +ps: List<&2, List<&2, U32>>
217  for +b: Bool
218  {nn(F.split.fin(c, ps, b)) == True{} : Bool}