~/jendhub

def models.dedup

cswap-bend-cli@0.1.0.0 · setload.bend:275

import cswap-bend-cli@0.1.0.0/setload.bend as Setload
import Base

275def models.dedup(fuel: Nat, xs: List<&2, String>) -> List<&2, String>:
276  match fuel xs:
277    case 0n _:
278      xs
279    case 1n+p Nil{}:
280      []
281    case 1n+p Con{+h, t}:
282      h <> models.dedup(p, models.without(t, String.to_lower(h)))

Uses (5)

Used by (1)