(library
 (name Driver)
 (public_name toytt.driver)
 (libraries
  algaeff
  bwd
  toytt.ast
  toytt.elaborator
  toytt.error
  toytt.nbe
  toytt.parser
  toytt.toplevel))