(library
 (name Elaborator)
 (public_name toytt.elaborator)
 (libraries
  algaeff
  bwd
  toytt.ast
  toytt.ident
  toytt.nbe
  toytt.pretty
  toytt.reporter))