def String.split.push
import Base2195def String.split.push(c: Char, ps: List<&2, String>) -> List<&2, String>:
2196 match ps:
2197 case Nil{}:
2198 [SCon{c, SNil{}}]
2199 case h <> t:
2200 SCon{c, h} <> t
Uses (3)
Used by (6)
- String.split.fin
- qasim-bend-kit@0.1.0.2/proof/AES_EnvelopeProof:aes_split_hex_digit_no_dot
- qasim-bend-kit@0.1.0.2/proof/AES_EnvelopeProof:aes_hex_bytes_split_before_period
- qasim-bend-kit@0.1.0.2/proof/AES_EnvelopeProof:aes_hex_bytes_split_single
- qasim-bend-kit@0.1.0.2/proof/AES_EnvelopeProof:aes_split_push_cons
- …