(library 
 (name nottui_lwt)
 (public_name nottui-lwt)
 (libraries nottui notty.lwt))
