Protocol.ct_split: def of bendonnect-rpc@0.1.0.0
Import: import bendonnect-rpc@0.1.0.0/src/protocol.bend as Protocol
Lines 94-103 of bendonnect-rpc@0.1.0.0/src/protocol.bend: https://jend.leeeet.dev/read.txt?path=bendonnect-rpc@0.1.0.0/src/protocol.bend&start_line=94&end_line=103

import Base

def ct_split(stream: Bool, app: Bool, +m: String) -> Maybe<&2, Ct>:
  match stream:
    case True{}:
      ct_make(True{}, codec_of(String.drop(m, 20n)))
    case False{}:
      match app:
        case True{}:
          ct_make(False{}, codec_of(String.drop(m, 12n)))
        case False{}:
          None{}

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.drop
  https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/protocol.bend&name=Ct
  https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/protocol.bend&name=codec_of
  https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/protocol.bend&name=ct_make