(library
 (name atddiff)
 (libraries
   atd
   yojson
 )
)
