bend-osdev-aead@0.1.0.0 · check.bend:33
import bend-osdev-aead@0.1.0.0/check.bend as Check
import Base 33def cat(a: String, b: String) -> String: 34 a ++ b