键入/球拍：在单元签名中声明结构

Question

鉴于我有Racket型的模块

(require typed/racket/unit
         Engine/engine2-sig)

(define-unit engine2@
  (import)
  (export engine2-sig^)

  (define-struct posn ([x : Natural] [y : Natural] [z : Natural])
    #:transparent)
  )

(provide engine2@)

具有以下签名

#lang typed/racket

(require typed/racket/unit)

(define-signature engine2-sig^
  ([posn : ???]))

(provide engine2-sig^)

我应该用什么代替问号来导出名为posn的结构？

我在文档here中找不到合适的示例，我缺少什么吗？