(module pict mzscheme
  (require "private/pict.ss"
           "reduction-semantics.ss"
           (lib "mrpict.ss" "texpict")
           (lib "contract.ss"))
  
  ;; not yet ready to be released, but want to release other bugfixes.
  
  #;
  (provide/contract
   [reduction-relation->pict (-> reduction-relation? pict?)]
   [reduction-relation->ps (-> reduction-relation?
                               (union string? path?)
                               void?)]
   [language->pict
    (-> compiled-lang? 
        (or/c false/c (listof symbol?))
        pict?)]
   [language->ps
    (-> compiled-lang?
        (or/c false/c (listof symbol?))
        (union path? string?)
        void?)]))