src/compiler/labeled-translation.ss
#lang s-exp "lang.ss"


;; A labeled translation consists of a label, and a translation
(define-struct labeled-translation (label  ;; number
                                    translation ;; string
                                    ))


(provide/contract [struct labeled-translation
                          ([label number?]
                           [translation string?])])