(module pict mzscheme
  (require "private/pict.ss"
           "private/core-layout.ss"
           "reduction-semantics.ss"
           (lib "mrpict.ss" "texpict")
           (lib "contract.ss"))
  
  (provide/contract
   [set-rule-picts-style! (-> (symbols 'vertical
                                       'vertical-overlapping-side-conditions
                                       'horizontal)
                              void?)]
   [set-literal-style! (-> symbol? void?)]
   [set-metafunction-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?)])
   
   (provide
    metafunction->pict
    metafunction->ps))