def split1

bend-kit-multipart@0.3.0.0 · multipart.bend:28

import bend-kit-multipart@0.3.0.0/multipart.bend as Multipart

import Base

28def split1(s: String, +c: U32) -> String & String:
29  match s:
30    case SNil{}:
31      (SNil{}, SNil{})
32    case SCon{Chr{+h}, +t}:
33      Bool.pick(String & String, U32.is_eq(h, c), (SNil{}, t), split1.cons(h, split1(t, c)))

Uses (8)

Used by (3)