(library
 (name Elaborator)
 (public_name toytt.elaborator)
 (libraries
  algaeff
  bwd
  toytt.ast
  toytt.error
  toytt.name
  toytt.nbe
  toytt.pretty
  toytt.toplevel))