rzk-0.8.0: test/typecheck/cases/multimodule-two-ok/user.rzk

#lang rzk-1

#check exported-id exported-type : exported-type → exported-type