(module type-def-structs mzscheme
  (require (lib "unit.ss") (lib "struct.ss") "signatures.ss" "defstruct-unit.ss")
  
  
  (provide (all-defined))
  
  
  (defstructs/sig/unit type-structs^ type-structs@
    
    (type-printer^)
    
    ;; necessary to fool the guard on custom-write, since it starts off undefined
    (define (print-type* a b c) (print-type a b c))
    
    (define-struct/properties type () 
      ([prop:custom-write print-type*])
      #f)
    
    (define-struct/properties (pair-ty type) (car cdr) () #f)
    
    
    (define-struct/properties (base-type type) (name) 
      ()
      #f)
    
    (define-struct/properties (struct-ty type) (name parent flds)
      ()
      #f)
    
    #;(define-struct/properties (pred-ty type) (type)
      ()
      #f)
    
    (define-struct/properties (arr type) (dom rng rest thn-eff els-eff)
      ()
      #f)
    
    
    (define-struct/properties (funty type) (arities)
      ()
      #f)
    
    (define-struct/properties (value type) (v)
      ()
      #f)     
    
    (define-struct/properties (vec type) (elem)
      ()
      #f) 
    
    (define-struct/properties (union type) (elems)
      ()
      #f)
    (define-struct/properties (univ type) ()
      ()
      #f)
    (define-struct/properties (dynamic type) ()
      ()
      #f)
    
    (define-struct/properties (tvar type) (name)
      ()
      #f)
    
    (define-struct/properties (poly type) (var type)
      ()
      #f)
    
    (define-struct/properties (mu type) (var type)
      ()
      #f)
    
    (define-struct/properties (values-ty type) (types)
      ()
      #f))
  
  
  
  
  )