typed / racket: объявить структуру в сигнатуре устройства - PullRequest
Новая
       26

typed / racket: объявить структуру в сигнатуре устройства

0 голосов
/ 03 сентября 2018

Учитывая, что у меня есть модуль с набитым ракеткой 

(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?

Я не могу найти подходящий пример в документации здесь , я что-то упустил?

...