def strip_sign
import bend-prot@0.1.0.0/pdb.bend as Pdbimport 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)
import bend-prot@0.1.0.0/pdb.bend as Pdbimport 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)