Cliops.adopt_line: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/cliops.bend as Cliops
Lines 269-274 of cswap-bend-cli@0.1.0.0/cliops.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/cliops.bend&start_line=269&end_line=274

import Base
import cswap-bend-cli@0.1.0.0/urec.bend as Urec

def adopt_line(yes: Bool, +r: Urec.Reading) -> String:
  match yes:
    case True{}:
      "Adopted usage for " ++ email_of_reading(r) ++ " \u{2192} slot " ++ slot_of_reading(r) ++ "\n"
    case False{}:
      "Kept slot " ++ slot_of_reading(r) ++ "'s own reading for " ++ email_of_reading(r) ++ ": it is newer\n"

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/cliops.bend&name=email_of_reading
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/cliops.bend&name=slot_of_reading
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/urec.bend&name=Reading