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

#lang rzk-1

#define exported-type
  : U
  := Unit

#define exported-id (A : U)
  : A → A
  := \ x → x