def bare.go

bend-kit-notch@0.4.0.0 · notch.bend:130

import Base

130def bare.go(s: String) -> Bool:
131  match s:
132    case SNil{}:
133      True{}
134    case SCon{Chr{x}, t}:
135      Bool.and(bare.c(x), bare.go(t))