def longer

yaml-for-bend@0.1.1.0 · compose.bend:215

import yaml-for-bend@0.1.1.0/compose.bend as Compose

import Base

215# Whether +s+ has more than +n+ characters, looking at no more than that.
216def longer(s: String, n: Nat) -> Bool:
217  match s:
218    case SNil{}:
219      False{}
220    case SCon{c, t}:
221      match n:
222        case 0n:
223          True{}
224        case 1n+k:
225          longer(t, k)

Uses (3)

Used by (3)