(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
   [set-rule-picts-style! (-> (symbols 'vertical 'horizontal) void?)]
   [set-literal-style! (-> symbol? void?)]
   [reduction-relation->pict (-> reduction-relation? pict?)]
   [reduction-relation->ps (-> reduction-relation?
                               (union string? path?)
                               void?)]
   [language->pict
    (-> compiled-lang? 
        (or/c false/c (cons/c symbol? (listof symbol?)))
        pict?)]
   [language->ps
    (-> compiled-lang?
        (or/c false/c (cons/c symbol? (listof symbol?)))
        (union path? string?)
        void?)]))