def strip_sign

bend-prot@0.1.0.0 · pdb.bend:148

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

148def strip_sign(s: String) -> Bool & String:
149  match s:
150    case SNil{}:
151      (False{}, SNil{})
152    case SCon{h, t}:
153      strip_sign_go(h, t)

Uses (5)

Used by (1)