~/jendhub

def strip_sign_kept

bend-prot@0.1.0.0 · pdb.bend:128

import bend-prot@0.1.0.0/pdb.bend as Pdb
import Base

128def strip_sign_kept(plus: Bool, h: Char, t: String) -> Bool & String:
129  match plus:
130    case True{}:
131      (False{}, t)
132    case False{}:
133      (False{}, SCon{h, t})

Uses (5)

Used by (1)