Swcreds.preserve: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/swcreds.bend as Swcreds
Lines 267-275 of cswap-bend-cli@0.1.0.0/swcreds.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/swcreds.bend&start_line=267&end_line=275

import Base

# Alien and foreign live credentials are kept aside, never written into a slot.
def preserve(+k: CKind) -> Bool:
  match k:
    case KAlien{}:
      True{}
    case KForeign{s}:
      True{}
    case _:
      False{}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/swcreds.bend&name=CKind