(object-contract
  (config-panel
    (-> (is-a?/c area-container<%>) (case-> (-> any? void?) (-> any?))))
  (create-executable
    (->
     any?
     (union (is-a?/c dialog%) (is-a?/c frame%))
     string?
     drscheme:teachpack:teachpack-cache?
     void?))
  (default-settings (-> any?))
  (default-settings? (-> any? boolean?))
  (order-manuals (-> (listof string?) (values (listof string?) boolean?)))
  (front-end/complete-program
    (->
     drscheme:language:text/pos?
     any?
     drscheme:teachpack:teachpack-cache?
     (-> any?)))
  (front-end/interaction
    (->
     drscheme:language:text/pos?
     any?
     drscheme:teachpack:teachpack-cache?
     (-> any?)))
  (get-language-name (-> string?))
  (get-language-numbers (-> (cons/p number? (listof number?))))
  (get-language-position (-> (cons/p string? (listof string?))))
  (get-language-url (-> (union false? string?)))
  (get-one-line-summary (-> string?))
  (get-style-delta
    (->
     (union
      false?
      (is-a?/c style-delta%)
      (listof (list/p (is-a?/c style-delta%) number? number?)))))
  (marshall-settings (-> any? printable?))
  (on-execute (-> any? (-> (-> any) any) any))
  (render-value
    (->
     any?
     any?
     output-port?
     (union false? (-> (union false? (is-a?/c snip%)) void?))
     void?))
  (render-value/format
    (->
     any?
     any?
     output-port?
     (union false? (-> (union false? (is-a?/c snip%)) void?))
     number?
     any))
  (unmarshall-settings (-> printable? any)))