def nn

lawful-fields@0.1.1.0 · proof_cut.bend:195

import Base

195def nn(ps: List<&2, List<&2, U32>>) -> Bool:
196  match ps:
197    case Nil{}:
198      False{}
199    case Con{p, t}:
200      True{}