@@[target("rust")]

// Frame type string → Java type spelling.
// Frame has NO type system: type names pass through VERBATIM
// (docs/frame_language.md). The alias table (str→String, int→int,
// Any→Object, …) was exterminated — it contradicted the passthrough
// contract. Write Java's own type names; `void`/user types pass through.

@@system JavaMapType {
    interface:
        map(t: String): String

    machine:
        $Active {
            map(t: String): String {
                @@:(t)
            }
        }
}
